@unpublished{Barbosa2015,
  title = {{Congruence Closure with Free Variables (Work in Progress)}},
  author = {Barbosa, Haniel and Fontaine, Pascal},
  year = 2015,
  note={2nd International Workshop on Quantification}
}