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