Yanovich, I. Handling Equivalence Classes of Optimality-Theoretic Tableaux. JLM 2015, 2, 285–306.