@inproceedings{Barbosa2017,
  author    = {Haniel Barbosa and
               Pascal Fontaine and
               Andrew Reynolds},
  title     = {Congruence Closure with Free Variables},
  pages     = {214--230},
  editor    = {Axel Legay and
               Tiziana Margaria},
  booktitle = {Tools and Algorithms for Construction and Analysis of Systems (TACAS)},
  series    = {Lecture Notes in Computer Science},
  volume    = {10206},
  year      = {2017},
  url       = {http://dx.doi.org/10.1007/978-3-662-54580-5},
  doi       = {10.1007/978-3-662-54580-5},
}