PS

Handbook of Logic in AI and Logic Programming, Vol. 3 (1994), pp. 298--352. 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} }