A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems.

Masaomi Yamaguchi, Takahito Aoto

Browse the full FSCD paper archive.