Massimo Caboara, Martin Kreuzer, Lorenzo Robbiano. Efficiently computing minimal sets of critical pairs. Journal of Symbolic Computation, 38(4):1169-1190, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.