Algorithmic learning for knowledge-based systems GOSLER final report (Springer, 1995)