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]
@inproceedings{CantoneAO12,
title = {On the Elimination of Quantifiers through Descriptors in Predicate Logic},
author = {Domenico Cantone and Marianna Nicolosi Asmundo and Eugenio G. Omodeo},
year = {2012},
url = {http://ceur-ws.org/Vol-857/paper_f02.pdf},
researchr = {https://researchr.org/publication/CantoneAO12},
cites = {0},
citedby = {0},
pages = {17-31},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012},
editor = {Francesca A. Lisi},
volume = {857},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}