How Uncomputable is General Circumscription? (Extended Abstract)

John S. Schlipf

Browse the full LICS paper archive.