A Proof Method for Local Sufficient Completeness of Term Rewriting Systems.

Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto

Browse the full ICTAC paper archive.