## Any Ground Associative-Commutative Theory Has a Finite Canonical System (1991)

by
Paliath Narendran
,
Michaël Rusinowitch

Venue: | Proceedings 4th Conference on Rewriting Techniques and Applications |

Citations: | 18 - 4 self |