Proving Innermost Normalisation Automatically.

Thomas Arts Jürgen Giesl

Published in: RTA (1997)

Keyphrases

learning algorithm
automatically generated
data mining
data sets
information systems
website
wide range
semi automatically