Introduction to artificial intelligence techniques - Chang, Chin-Liang (JMA Press, 1985)