A class of Prolog programs inferable from positive data (1996)

by K Rao
Venue:In (S. Arikawa and A.K. Sharma, Eds.), Proceedings of the 7th International Workshop on Algorithmic Learning Theory, ALT'96