Christof Löding, Igor Walukiewicz: Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive Learning. LICS 2025: 431-443