Machine learning, meta-reasoning and logics - Brazdil, Pavel B (Kluwer, 1989)