Some classes of Prolog programs inferable from positive data
scientific article; zbMATH DE number 1493321
scientific article