1. Allis, L. V., van der Meulen, M., and van den Herik, H. J. (1994). Proof-number search. Artificial Intelligence, 66 (1): 91–124.
2. Breuker, D. M., van den Herik, H. J., Uiterwijk, J. W. H. M., and Allis, L. V. (2001). A solution to the GHI problem for best-first search. Theoretical Computer Science, 252 (1–2): 121–149.
3. Cazenave, T. (2002). Abstract proof search. In Marsland, T. A. and Frank, I., editors, Computersand Games (CG 2000),volume 2063 of Lecture Notes in Computer Science,pages 39–54. Springer.
4. Chen, K. and Chen, Z. (1999). Static analysis of life and death in the game of Go. Information Sciences, 121: 113–134.
5. Fotland, D. (2002). Static eye analysis in “The Many Faces of Go”. ICGA Journal,25(4):203210.