PS

Handbook of Logic in AI and Logic Programming, 3:298--352, 1994. Oxford University Press.

@article{lifschitz:lailp94, title={Circumscription}, author={Vladimir Lifschitz}, volume={3}, journal={Handbook of Logic in AI and Logic Programming}, publisher={Oxford University Press}, pages={298--352}, url="http://www.cs.utexas.edu/users/ai-lab/?lifschitz:lailp94", year={1994} }