@incollection{Kahrs:1996,
    Author = {Kahrs, Stefan},
    BookTitle = {Higher-Order Algebra, Logic, and Term Rewriting},
    Editor = {Dowek, Gilles and Heering, Jan and Meinke, Karl and M{\"o}ller, Bernhard},
    File = {The variable containment problem - Kahrs (0) (0) - a - a - n.pdf},
    ISBN = {978-3-540-61254-4},
    Pages = {109-123},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {The variable containment problem},
    URL = {http://dx.doi.org/10.1007/3-540-61254-8\_22},
    Volume = {1074},
    Year = {1996},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-61254-8\_22},
    date-added = {2014-01-25 12:07:12 +0000},
    date-modified = {2014-01-25 12:07:12 +0000},
    doi = {10.1007/3-540-61254-8_22}
}

@incollection{Kahrs:1996, Author = {Kahrs, Stefan}, BookTitle = {Higher-Order Algebra, Logic, and Term Rewriting}, Editor = {Dowek, Gilles and Heering, Jan and Meinke, Karl and M{\"o}ller, Bernhard}, File = {The variable containment problem - Kahrs (0) (0) - a - a - n.pdf}, ISBN = {978-3-540-61254-4}, Pages = {109-123}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {The variable containment problem}, URL = {http://dx.doi.org/10.1007/3-540-61254-8_22}, Volume = {1074}, Year = {1996}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-61254-8_22}, date-added = {2014-01-25 12:07:12 +0000}, date-modified = {2014-01-25 12:07:12 +0000}, doi = {10.1007/3-540-61254-8_22} }