Skip to content

System f2lp - Computing Answer Sets of First-Order Formulas.

Joohyung Lee, Ravi Palla

VenueBLPNMR
Year2009
ProceedingsLPNMR

Browse the full LPNMR paper archive.