Title: Termination of rewriting
First published: 1985
Subjects: Rewriting systems (Computer science), Ordered sets, Automatic theorem proving
LC classification: QA76 .I4 no. 1220, QA76.9.A96 .I4 no. 1220