Full title of paper on the program is: "The first level of Super Mario Bros. is easy with lexicographic ordering a and time travel ...after that it gets a litt

Full title of paper on the program is: "The first level of Super Mario Bros. is easy with lexicographic ordering a and time travel ...after that it gets a little tricky." The title alone merits reading the paper.