Paliath Narendran Michaël Rusinowitch Any Ground Associative-Commutative Theory Has a Finite Canonical System. 131-143 1996 17 J. Autom. Reasoning 1 db/journals/jar/jar17.html#NarendranR96