Skip to content

Stable Models of Formulas with Generalized Quantifiers (Preliminary Report).

Joohyung Lee, Yunsong Meng

VenueBICLP
Year2012
ProceedingsICLP (Technical Communications)

Browse the full ICLP paper archive.