Pedro Cabalar, David Pearce, AgustÃn Valverde. Reducing Propositional Theories in Equilibrium Logic to Logic Programs. In Marina De Vos, Alessandro Provetti, editors, Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP 05 Workshop, Bath, UK, September 27-29, 2005. Volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, 2005. [doi]
Abstract is missing.