On Modularity of the Completeness in Order-Sorted Term Rewriting Systems.

Yoshinobu Kawabe, Naohiro Ishii

Browse the full COCOON paper archive.