Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxDBj (Publisher version)
Krishna Rao, M. R. K. (1995). Incremental Learning of Logic Programs. In K. P. J. Jantke, T. Shinohara, & T. Zeugmann (Eds.), Algorithmic Learning Theory (pp. 95-109). Berlin: Springer.