David Pearce, Agustín Valverde. Interpretability and Equivalence in Quantified Equilibrium Logic. In David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran, editors, Proceedings of the LPNMR 07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, May 14, 2007. Volume 265 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]
Abstract is missing.