Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal. Strongly Equivalent Temporal Logic Programs. In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, editors, Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings. Volume 5293 of Lecture Notes in Computer Science, pages 8-20, Springer, 2008. [doi]
Abstract is missing.