@inproceedings{conffossacsSeidlR12,
  author = {Helmut Seidl and Andreas Reu\{ss}},
  title = {Extending {H}1-{C}lauses with {P}ath {D}isequalities},
  booktitle = {FoSSaCS},
  editor = {Lars Birkedal},
  year = 2012,
  pages = {165-179},
  publisher = {Springer, LNCS 7213},
}