@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},
}