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