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]
Abstract is missing.