T. Krishnaprasad
SUNY, Stony Brook, NY
Some computational aspects of circumscription
Journal of the ACM (JACM)