Correctness of Context-Moving Transformations for Term Rewriting Systems.

Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Browse the full LOPSTR paper archive.