Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. Herbrand-satisfiability of a Quantified Set-theoretic Fragment. Fundamenta Informaticae, 150(1):49-71, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.