Circumscription (1994)
View:
PS
Citation:
Handbook of Logic in AI and Logic Programming, Vol. 3 (1994), pp. 298--352. Oxford University Press.
Bibtex:

Vladimir Lifschitz Faculty vl [at] cs utexas edu