[1]Allis V.Searching for solutions in games and artificial intelligence[D].Maastricht:University of Limburg,1994. [2]Nagai A.Df-pn algorithm for searching AND/OR trees and its applications[D].Tokyo:University of Tokyo,2002. [3]Breuker D M.Memory versus search in games[D].Maastricht:Maastricht University,1998. [4]Winands M,Uiterwijk J,van den Herik H J.An effective two-level proof-number search algorithm[J].Theoretical Computer Science,2004,313(3):511-525.