A

accompll

A tool performing AC-completion for left-linear TRSs written in Haskell.