Giorgio Delzanno, Maurizio Martelli. An embedding of calculi for negation as failure into linear logic. In Luís Moniz Pereira, Paulo Quaresma, editors, APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001. pages 165-179, Departamento de Informática, Universidade de Évora, 2001. [doi]
Abstract is missing.