An Algorithm that Infers Theories from Facts (1981)

by E Y Shapiro
Venue:In Proceedings of the Seventh International Joint Conference on Artificial Intelligence