Some computational aspects of circumscription (1990)

by P G Kolaitis, C H Papadimitriou
Venue:Journal of the ACM