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