Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. In Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, editors, Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. Volume 1195 of CEUR Workshop Proceedings, pages 162-177, CEUR-WS.org, 2014. [doi]
Abstract is missing.