"Proving semantic properties as first-order satisfiability."

Salvador Lucas (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics