HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING - Dov M. Gabbay,C. J. Hogger,J. A. Robinson; Robinson,J. A. (Clarendon Press, Oxford, 1994)
Keywords: Logic Programming; Artificial Intelligence; Logic, Symbolic And Mathematical