F. Blum, “How to Run EDICTOR 3 Locally”, CALC in Practice, vol. 8, no. 1, pp. 1–8, Jan. 2025.