@inproceedings{Verma:2005:CEH:2153554.2153579,
    Address = {Berlin, Heidelberg},
    Author = {Verma, Kumar Neeraj and Seidl, Helmut and Schwentick, Thomas},
    BookTitle = {Proceedings of the 20th International Conference on Automated Deduction},
    File = {Verma05Complexity (0) - a - a - s.pdf},
    ISBN = {3-540-28005-7, 978-3-540-28005-7},
    Location = {Tallinn, Estonia},
    Pages = {337--352},
    Publisher = {Springer-Verlag},
    Series = {CADE' 20},
    Title = {On the Complexity of Equational Horn Clauses},
    URL = {http://dx.doi.org/10.1007/11532231\_25},
    Year = {2005},
    acmid = {2153579},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11532231\_25},
    date-added = {2017-12-12 09:07:09 +0000},
    date-modified = {2017-12-12 09:07:09 +0000},
    numpages = {16},
    doi = {10.1007/11532231_25}
}

@inproceedings{Verma:2005:CEH:2153554.2153579, Address = {Berlin, Heidelberg}, Author = {Verma, Kumar Neeraj and Seidl, Helmut and Schwentick, Thomas}, BookTitle = {Proceedings of the 20th International Conference on Automated Deduction}, File = {Verma05Complexity (0) - a - a - s.pdf}, ISBN = {3-540-28005-7, 978-3-540-28005-7}, Location = {Tallinn, Estonia}, Pages = {337--352}, Publisher = {Springer-Verlag}, Series = {CADE' 20}, Title = {On the Complexity of Equational Horn Clauses}, URL = {http://dx.doi.org/10.1007/11532231_25}, Year = {2005}, acmid = {2153579}, bdsk-url-1 = {http://dx.doi.org/10.1007/11532231_25}, date-added = {2017-12-12 09:07:09 +0000}, date-modified = {2017-12-12 09:07:09 +0000}, numpages = {16}, doi = {10.1007/11532231_25} }