Richard Edwin Stearns Harry B. Hunt III An Algebraic Model for Combinatorial Problems. 448-476 1996 25 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp25.html#StearnsH96 http://dx.doi.org/10.1137/S0097539793243004