Database-assisted automata learning. - Hielke Walinga; Robert Baumgartner; Sicco Verwer (CoRR, 2024)