Knowledge representation and classical logic (2007)

by V Lifschitz, L Morgenstern, D Plaisted
Venue:In Handbook of Knowledge Representation