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]

Authors

Amelia Harrison

This author has not been identified. Look up 'Amelia Harrison' in Google