1. Proof-number search;Allis;Artificial Intelligence,1994
2. L.V. Allis, Searching for solutions in games and artificial intelligence, Ph.D. Thesis, University of Limburg, Maastricht, The Netherlands, 1994.
3. E.B. Baum, W.D. Smith, Best play for imperfect players and game tree search, Technical Report, NEC, Princeton, NJ, USA.
4. B* probability based search;Berliner;Artificial Intelligence,1996
5. How to mate;Breuker,1994