Adversarial Reasoning: A Logical Approach for Computer Go. - Tamir Klinger (2001)