Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo. On the Elimination of Quantifiers through Descriptors in Predicate Logic. In Francesca A. Lisi, editor, Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. Volume 857 of CEUR Workshop Proceedings, pages 17-31, CEUR-WS.org, 2012. [doi]
Abstract is missing.