Knowledge representation and classical logic (2008)

by Vladimir Lifschitz, Leora Morgenstern, David Plaisted
Venue:Handbook of Knowledge Representation