Login / Signup
A Fast Algorithm for Generating Reduced Ground Rewriting Systems from a Set of Ground Equations.
Wayne Snyder
Published in:
J. Symb. Comput. (1993)
Keyphrases
</>
definite clause
database
rewriting systems