Efficiently computing minimal sets of critical pairs.

Massimo Caboara Martin Kreuzer Lorenzo Robbiano Efficiently computing minimal sets of critical pairs. 1169-1190 2004 38 J. Symb. Comput. 4 http://dx.doi.org/10.1016/j.jsc.2003.08.009 db/journals/jsc/jsc38.html#CaboaraKR04