@incollection{Levy:Schmidt-Schauss:Villaret:2006,
    Author = {Levy, Jordi and Schmidt-Schau{\ss}, Manfred and Villaret, Mateu},
    BookTitle = {Term Rewriting and Applications},
    Editor = {Pfenning, Frank},
    File = {Bounded Second-Order Unification Is NP-Complete - Levy, Schmidt-Schauß, Villaret (0) (0) - a - a - n.pdf},
    ISBN = {978-3-540-36834-2},
    Pages = {400-414},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Bounded Second-Order Unification Is NP-Complete},
    URL = {http://dx.doi.org/10.1007/11805618\_30},
    Volume = {4098},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11805618\_30},
    date-added = {2014-01-25 12:14:49 +0000},
    date-modified = {2014-01-25 12:14:49 +0000},
    doi = {10.1007/11805618_30}
}

@incollection{Levy:Schmidt-Schauss:Villaret:2006, Author = {Levy, Jordi and Schmidt-Schau{\ss}, Manfred and Villaret, Mateu}, BookTitle = {Term Rewriting and Applications}, Editor = {Pfenning, Frank}, File = {Bounded Second-Order Unification Is NP-Complete - Levy, Schmidt-Schauß, Villaret (0) (0) - a - a - n.pdf}, ISBN = {978-3-540-36834-2}, Pages = {400-414}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Bounded Second-Order Unification Is NP-Complete}, URL = {http://dx.doi.org/10.1007/11805618_30}, Volume = {4098}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1007/11805618_30}, date-added = {2014-01-25 12:14:49 +0000}, date-modified = {2014-01-25 12:14:49 +0000}, doi = {10.1007/11805618_30} }