Satisfiability of Inequalities in a Poset

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1996-281211

Related search