@techreport{barbosa:hal-01442691, TITLE = {{Congruence Closure with Free Variables}}, AUTHOR = {Barbosa, Haniel and Fontaine, Pascal and Reynolds, Andrew}, URL = {https://inria.hal.science/hal-01442691}, TYPE = {Research Report}, INSTITUTION = {{Inria, Loria, Universite de Lorraine, UFRN, University of Iowa}}, YEAR = {2017}, MONTH = Jan, PDF = {https://inria.hal.science/hal-01442691v2/file/main.pdf}, HAL_ID = {hal-01442691}, HAL_VERSION = {v2}, }