Skip to content

A New Form of Circumscription for Logic Programs (Extended Abstract).

Allen Van Gelder

VenueBLPNMR
Year1990
ProceedingsLPNMR

Browse the full LPNMR paper archive.