Peter K. Rathmann Marianne Winslett Mark S. Manasse Circumscription with Homomorphisms: Solving the Equality and Counterexample Problems. 819-873 1994 41 J. ACM 5 db/journals/jacm/jacm41.html#RathmannWM94 http://doi.acm.org/10.1145/185675.185678