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

Michael Bartholomew, Joohyung Lee

Browse the full KR paper archive.