Kazuki Yoshizoe, Akihiro Kishimoto, Martin Müller 0003. Lambda Depth-First Proof Number Search and Its Application to Go. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 2404-2409, 2007. [doi]