R. Forgaard

A PROGRAM FOR GENERATING AND ANALYZING TERM REWRITING SYSTEMS

R. Forgaard, 1984 .

A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules

David Detlefs, Randy Forgaard, R. Forgaard, 1985, RTA.