Satisfiability of Inequalities in a Poset

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