John F. Sowa Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence. 125-131 1989 38 Artif. Intell. 1 db/journals/ai/ai38.html#Sowa89