Foundations of logic programming (1996)

by V Lifschitz
Venue:In Principles of Knowledge Representation