An efficient graph algorithm for dominance constraints

Tools