Ichiro Mitsuhashi, Michio Oyamaguchi, Toshiyuki Yamada. The reachability and related decision problems for monadic and semi-constructor TRSs. Inf. Process. Lett., 98(6):219-224, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.