Title: Well-founded orderings for proving termination of systems of rewrite rules
First published: 1978
Subjects: Verification, Recursive programming, Computer programs, Termination, Computr programs
LC classification: QA76 .I4 no. 932, QA76.6 .I4 no. 932