Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
Krishna Rao, M. R. K. (1997). A framework for incremental learning of logic programs. Theoretical Computer Science, 185, 191-213.