Krishna Rao, M. R. K. (1996). A class of Prolog programs inferable from positive data. In S., Arikawa, & A., Sharma (Eds.), Algorithmic Learning Theory (pp. 272-284). Berlin, Germany: Springer.