Urbak, P., & Danvy, O. (2017). A Formal Study of Moessner’s Sieve. Aarhus Universitet. https://doi.org/10.7146/aul.213.154