Machine Learning, Meta-Reasoning and Logics - Brazdil, Pavel B.; Konolige, Kurt (Springer US, 1990)