Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. Herbrand-satisfiability of a Quantified Set-theoretic Fragment. Fundamenta Informaticae, 150(1):49-71, 2017. [doi]
@article{CantoneLA17,
title = {Herbrand-satisfiability of a Quantified Set-theoretic Fragment},
author = {Domenico Cantone and Cristiano Longo and Marianna Nicolosi Asmundo},
year = {2017},
doi = {10.3233/FI-2017-1460},
url = {http://dx.doi.org/10.3233/FI-2017-1460},
researchr = {https://researchr.org/publication/CantoneLA17},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {150},
number = {1},
pages = {49-71},
}