"A new class of theories for which circumscription can be obtained via the ..."

Sukhamay Kundu, Jianhua Chen (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics