@InProceedings{Rue12, Author = "R{\"u}mmer, P.", Year = "2012", Title = "{E-Matching with Free Variables}", Editor = "Bj{\o}rner, N. and Voronkov, A.", BookTitle = "{Proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning}", Place = "Merida, Venezuela", Series = "Lecture Notes in Artificial Intelligence", Number = "7180", Pages = "359-374", Publisher = "Springer-Verlag", Comment = "" }