Akihiro Kishimoto Martin Müller 0003 A solution to the GHI problem for depth-first proof-number search. 296-314 2005 175 Inf. Sci. 4 http://dx.doi.org/10.1016/j.ins.2004.04.012 db/journals/isci/isci175.html#KishimotoM05