Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
Krishna Rao, M. R. K. (2000). Some classes of prolog programs inferable from positive data. Theoretical Computer Science, 241(1/2), 211-223.