1. Allis, L.V., van der Meulen, M., van den Herik, H.J.: Proof-Number Search. Artificial Intelligence 66(1), 91–124 (1994)
2. Allis, L.V.: Searching for Solutions in Games and Artificial Intelligence. PhD thesis, Rijksuniversiteit Limburg, Maastricht, The Netherlands (1994)
3. Nagai, A.: A new depth-first search algorithm for AND/OR trees. In: Matsubara, H., Kotani, Y., Takizawa, T., Yoshikawa, A. (eds.) Proceedings of the Complex Games Lab Workhshop, ETL, Tsuruoka, Japan, pp. 40–45 (1998)
4. Nagai, A.: Df-pn algorithm for searching AND/OR trees and its applications. PhD thesis, University of Tokyo, Japan (2002)
5. Seo, M., Iida, H., Uiterwijk, J.W.H.M.: The
$\mbox{PN}^{\ast}$
-Search algorithm: application to tsume shogi. Artificial Intelligence 129(1-2), 253–277 (2001)