The unification problem for confluent right-ground term rewriting systems.

Michio Oyamaguchi Yoshikatsu Ohta

Published in: Inf. Comput. (2003)

Keyphrases

term rewriting systems
functional programs
logic programs
higher order
theorem prover
definite clause
theorem proving
database
knowledge base
high level
management system