Skip to content

Strong Equivalence for Logic Programs and Default Theories (Made Easy).

Hudson Turner

VenueBLPNMR
Year2001
ProceedingsLPNMR

Browse the full LPNMR paper archive.