Inductive inference of monotonic formal systems from positive data
scientific article; zbMATH DE number 4172402
scientific article