Login / Signup
A Class of Confluent Term Rewriting Systems and Unification.
Jia-Huai You
P. A. Subrahmanyam
Published in:
J. Autom. Reason. (1986)
Keyphrases
</>
term rewriting systems
high level
higher order
logic programs
theorem prover
theorem proving