Completeness Results for Circumscription

Donald Perlis, Jack Minker. Completeness Results for Circumscription. Artificial Intelligence, 28(1):29-42, 1986.

Abstract

Abstract is missing.