Some classes of prolog programs inferable from positive data


Authored By:M. R. K. Krishna Rao
Paper Title:Some classes of prolog programs inferable from positive data
In:Theoret. Comput. Sci.
Number 1-2 Vol. 241
Publication Date: 2000
Pages:211-234