2022 Completing the Picture: Complexity of the Ackermann Fragment Daumantas Kojelis Jul 2022 HTML PDF
