Super Mario Bros. Is Easy with Lexicographic Orderings and Time Travel (2013) [pdf]cs.cmu.edu1 pointmiobrien8 years ago