Metrics on Terms and Clauses (1997)

by A Hutchinson
Venue:Proceedings ECML–97