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]
No references recorded for this publication.
No citations of this publication recorded.