Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. In Wolfgang Faber, Nicola Leone, editors, Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. Volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
@inproceedings{CantoneLA10,
title = {A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs},
author = {Domenico Cantone and Cristiano Longo and Marianna Nicolosi Asmundo},
year = {2010},
url = {http://ceur-ws.org/Vol-598/paper11.pdf},
researchr = {https://researchr.org/publication/CantoneLA10},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010},
editor = {Wolfgang Faber and Nicola Leone},
volume = {598},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}