Computing circumscription (1985)

by Vladimir Lifschitz
Venue:In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI