Decidability and De with Circumscription (1987)

by J Schlipf
Venue:Annals of Pure and Applied Logic