%0 Journal Article %1 journals/fuin/PrattT96 %A Pratt, Vaughan R. %A Tiuryn, Jerzy %D 1996 %J Fundam. Informaticae %K dblp %N 1-2 %P 165-182 %T Satisfiability of Inequalities in a Poset. %U http://dblp.uni-trier.de/db/journals/fuin/fuin28.html#PrattT96 %V 28

@article{journals/fuin/PrattT96, added-at = {2020-09-18T00:00:00.000+0200}, author = {Pratt, Vaughan R. and Tiuryn, Jerzy}, biburl = {https://www.bibsonomy.org/bibtex/22a14df2f8b21120d5ea77e97dac62e5b/dblp}, ee = {https://doi.org/10.3233/FI-1996-281211}, interhash = {8331a10d24aab8affff759a992a9f247}, intrahash = {2a14df2f8b21120d5ea77e97dac62e5b}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-2}, pages = {165-182}, timestamp = {2020-09-19T11:37:02.000+0200}, title = {Satisfiability of Inequalities in a Poset.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin28.html#PrattT96}, volume = 28, year = 1996 }