The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
scientific article; zbMATH DE number 5796818
scientific article