Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond.

Jan Willem Klop

Published in: ICALP (1990)

Keyphrases

term rewriting systems
knuth bendix
term rewriting
logic programs
function symbols
functional programs
rewrite systems
general purpose
theorem prover
artificial intelligence
description logics
normal form
answer sets