A Computational Logic Handbook. AcademicPress, second edition (1997)

by R S Boyer, J S Moore
Venue:Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002, vol-ume 2257 of Lecture Notes in Computer Science