PDF

In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, editors, Handbook of Knowledge Representation, 3-88, 2008. Elsevier.

@INCOLLECTION{lif08b, title={Knowledge Representation and Classical Logic}, author={Vladimir Lifschitz and Leora Morgenstern and David Plaisted}, booktitle={Handbook of Knowledge Representation}, editor={Frank van Harmelen and Vladimir Lifschitz and Bruce Porter}, publisher={Elsevier}, pages={3-88}, url="http://www.cs.utexas.edu/users/ai-lab/?lif08b", year={2008} }