José Luis Carballido, José Arrazola, Mauricio Osorio. Equivalence for the G3 -stable models semantics. In José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda, editors, Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007. Volume 286 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]
Abstract is missing.