Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation.

Kentaro Kikuchi, Takahito Aoto, Isao Sasano

Browse the full PPDP paper archive.