@InProceedings{BFR17,
    Author       = "Barbosa, H. and Fontaine, P. and Reynolds, A.",
    Year         = "2017",
    Title        = "{Congruence Closure with Free Variables}",
    Editor       = "Legay, A. and Margaria, T.",
    BookTitle    = "{Proceedings of the 23rd International Conference on Tools
                    and Algorithms for the Construction and Analysis of
                    Systems}",
    Place        = "Uppsala, Sweden",
    Series       = "Lecture Notes in Computer Science",
    Number       = "10205",
    Pages        = "2134-230",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}