@incollection{GallagherRosendahl:2008,
    Author = {Gallagher, John P. and Rosendahl, Mads},
    BookTitle = {Logic for Programming, Artificial Intelligence, and Reasoning},
    Editor = {Cervesato, Iliano and Veith, Helmut and Voronkov, Andrei},
    File = {Approximating Term Rewriting Systems A Horn Clause Specification and Its Implementation - Gallagher, Rosendahl (0) (0) - a - a - x.pdf},
    ISBN = {978-3-540-89438-4},
    Keywords = {readme and saturation method},
    Pages = {682-696},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation},
    URL = {http://dx.doi.org/10.1007/978-3-540-89439-1\_47},
    Volume = {5330},
    Year = {2008},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-89439-1\_47},
    date-added = {2014-03-12 08:51:43 +0000},
    date-modified = {2014-03-12 08:52:15 +0000},
    doi = {10.1007/978-3-540-89439-1_47}
}

@incollection{GallagherRosendahl:2008, Author = {Gallagher, John P. and Rosendahl, Mads}, BookTitle = {Logic for Programming, Artificial Intelligence, and Reasoning}, Editor = {Cervesato, Iliano and Veith, Helmut and Voronkov, Andrei}, File = {Approximating Term Rewriting Systems A Horn Clause Specification and Its Implementation - Gallagher, Rosendahl (0) (0) - a - a - x.pdf}, ISBN = {978-3-540-89438-4}, Keywords = {readme and saturation method}, Pages = {682-696}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation}, URL = {http://dx.doi.org/10.1007/978-3-540-89439-1_47}, Volume = {5330}, Year = {2008}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-89439-1_47}, date-added = {2014-03-12 08:51:43 +0000}, date-modified = {2014-03-12 08:52:15 +0000}, doi = {10.1007/978-3-540-89439-1_47} }