Comparison of identi criteria for machine inductive inference (1983)

by J Case, C Smith
Venue:Theoretical Computer Science