Generating logical expressions from positive and negative examples via a branch-and-bound approach
scientific article; zbMATH DE number 540691