The Semantics of Gringo and Proving Strong Equivalence

Amelia Harrison. The Semantics of Gringo and Proving Strong Equivalence. TPLP, 13(4-5-Online-Supplement), 2013. [doi]

Abstract

Abstract is missing.