Decision Problems for Second-Order Holonomic Recurrences - Eike Neumann (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021)