L. Victor Allis Maarten van der Meulen H. Jaap van den Herik Proof-Number Search. 91-124 1994 66 Artif. Intell. 1 db/journals/ai/ai66.html#AllisMH94