Login / Signup
Algorithm for Generating Reduced Sets of Ground Rewrite Rules Equivalent to a Set of Ground Equations E.
Wayne Snyder
Published in:
RTA (1989)
Keyphrases
</>
definite clause
preprocessing
rewrite rules
optimization method