Minimal consistent DFA from sample strings
scientific article; zbMATH DE number 7203622