@incollection{Levy:Schmidt-Schauss:Villaret:2004,
    Author = {Levy, Jordi and Schmidt-Schau{\ss}, Manfred and Villaret, Mateu},
    BookTitle = {Rewriting Techniques and Applications},
    Editor = {Oostrom, Vincent},
    File = {Monadic Second-Order Unification Is NP-Complete - Levy, Schmidt-Schauß, Villaret (0) (0) - a - a - i.pdf},
    ISBN = {978-3-540-22153-1},
    Pages = {55-69},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Monadic Second-Order Unification Is NP-Complete},
    URL = {http://dx.doi.org/10.1007/978-3-540-25979-4\_4},
    Volume = {3091},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-25979-4\_4},
    date-added = {2014-01-25 12:14:14 +0000},
    date-modified = {2014-01-25 12:14:14 +0000},
    doi = {10.1007/978-3-540-25979-4_4}
}

@incollection{Levy:Schmidt-Schauss:Villaret:2004, Author = {Levy, Jordi and Schmidt-Schau{\ss}, Manfred and Villaret, Mateu}, BookTitle = {Rewriting Techniques and Applications}, Editor = {Oostrom, Vincent}, File = {Monadic Second-Order Unification Is NP-Complete - Levy, Schmidt-Schauß, Villaret (0) (0) - a - a - i.pdf}, ISBN = {978-3-540-22153-1}, Pages = {55-69}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Monadic Second-Order Unification Is NP-Complete}, URL = {http://dx.doi.org/10.1007/978-3-540-25979-4_4}, Volume = {3091}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-25979-4_4}, date-added = {2014-01-25 12:14:14 +0000}, date-modified = {2014-01-25 12:14:14 +0000}, doi = {10.1007/978-3-540-25979-4_4} }