Logical foundations of artificial intelligence - Genesereth, Michael R.; Nilsson, Nils J. (Morgan Kaufmann, 1988)