Skip to content

A Characterization of Stable Models using a Non-Monotonic Operator.

Frank Teusink

VenueBLPNMR
Year1993
ProceedingsLPNMR

Browse the full LPNMR paper archive.