Martin Raszyk: On the Size of Logical Automata. SOFSEM 2019: 447-460