"Stable Models of Multi-Valued Formulas: Partial versus Total Functions."

Michael Bartholomew, Joohyung Lee (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics