Stable Models of Formulas with Intensional Functions.

Michael Bartholomew, Joohyung Lee

Browse the full KR paper archive.