1. Longest increasing subsequences: From patience sorting to the Baik–Deift–Johansson theorem;Aldous;Bulletin of the American Mathematical Society,1999
2. A note on the computer solution of Connect-Four;Allen,1989
3. L. Victor Allis, Searching for solutions in games and artificial intelligence, Ph.D. Thesis, University of Limburg, Maastricht, Netherlands, 1994.
4. Proof-number search;Victor Allis;Artificial Intelligence,1994
5. Anon, The Freecell Project, This was documented on the Web, but all links to the proof now appear to be missing. There is a useful web-site about Freecell and its history at: .