A New Termination Approach for Specialization.

Litong Song Yoshihiko Futamura

Published in: SAIG (2000)

Keyphrases

term rewriting
rewrite systems
expert systems
data sets
metadata
database systems
bayesian networks
multiresolution
active rules
termination analysis