Three improvements to the top-down solver. - Seidl, Helmut; Vogler, Ralf (Mathematical Structures in Computer Science, 2021)