Metrics on terms and clauses (1997)

by A Hutchinson
Venue:Machine Learning: ECML-97, LNCS 1224