"Finite Model Finding Using the Logic of Equality with Uninterpreted Functions."

Amirhossein Vakili, Nancy A. Day (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics