The Role of Functions in the Stable Model Semantics

Michael Bartholomew. The Role of Functions in the Stable Model Semantics. TPLP, 13(4-5-Online-Supplement), 2013. [doi]

Abstract

Abstract is missing.