Congruence Closure with Free Variables.

Haniel Barbosa, Pascal Fontaine, Andrew Reynolds

Browse the full TACAS paper archive.