Title: A recursively defined ordering for proving termination of term rewriting systems
First published: 1978
Subjects: Recursion theory, Computer programming, Rewriting systems (Computer science), Automatic theorem proving, Electronics digital computers, Programming
LC classification: QA76 .I4 no. 943, QA76.6 .I4 no. 943