The Wayback Machine - https://web.archive.org/web/20221009074025/https://www.andrew.cmu.edu/user/avigad/Papers/infinite.pdf