Vaughan R. Pratt, Jerzy Tiuryn. Satisfiability of Inequalities in a Poset. Fundamenta Informaticae, 28(1-2):165-182, 1996.
@article{PrattT96, title = {Satisfiability of Inequalities in a Poset}, author = {Vaughan R. Pratt and Jerzy Tiuryn}, year = {1996}, researchr = {https://researchr.org/publication/PrattT96}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {28}, number = {1-2}, pages = {165-182}, }