Does Unification Help in Normalization?

Rakesh M. Verma Wei Guo

Published in: UNIF (2011)

Keyphrases

higher order
normalization method
theorem proving
theorem prover
metadata
training data
bayesian networks
preprocessing
expert systems
end users
equational theories