Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning
Learnability and the Vapnik-Chervonenkis dimension