The foundations of artificial intelligence : a sourcebook - Partridge, Derek; Wilks, Yorick (Cambridge University Press, 1993)