Verifying and Codifying Strategies in the KNNKP(h) Endgame. - I. S. Herschberg; H. Jaap van den Herik; P. N. A. Schoo (J. Int. Comput. Games Assoc., 1989)