Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxDBj (出版社版)
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.