@inproceedings{Verma05Complexity, author = {Kumar Neeraj Verma and Helmut Seidl and Thomas Schwentick}, title = {On the {C}omplexity of {E}quational {H}orn {C}lauses}, booktitle = {Automated Deduction - CADE-20}, editor = {Robert Nieuwenhuis}, month = {July}, year = 2005, pages = {337-352}, series = {Lecture Notes in Computer Science}, volume = {3632}, publisher = {Springer}, address = {Tallinn, Estonia}, }