Combining black-box and white-box techniques for learning register automata
scientific article; zbMATH DE number 7474194