@article{journalsiplSeidlR11,
  author = {Helmut Seidl and Andreas Reu\{ss}},
  title = {Extending {H}1-{C}lauses with {D}isequalities},
  journal = {Information Processing Letters},
  year = 2011,
  pages = {1007-1013},
  volume = {111},
  number = {20},
  publisher = {Elsevier},
}