%0 Journal Article %1 journals/ipl/SeidlR11 %A Seidl, Helmut %A Reuß, Andreas %D 2011 %J Inf. Process. Lett. %K %N 20 %P 1007-1013 %T Extending H1-clauses with disequalities. %U http://dblp.uni-trier.de/db/journals/ipl/ipl111.html#SeidlR11 %V 111

@article{journals/ipl/SeidlR11, added-at = {2023-12-13T09:26:50.000+0100}, author = {Seidl, Helmut and Reuß, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/208176a364504bb2f8474466749930bec/admin}, ee = {http://dx.doi.org/10.1016/j.ipl.2011.07.011}, interhash = {ce5bbb426ddac06170938ba032b53874}, intrahash = {08176a364504bb2f8474466749930bec}, journal = {Inf. Process. Lett.}, keywords = {}, number = 20, pages = {1007-1013}, timestamp = {2023-12-13T09:26:50.000+0100}, title = {Extending H1-clauses with disequalities.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl111.html#SeidlR11}, volume = 111, year = 2011 }