CANTY M J RESOLVING CONFLICTS WITH MATHEMATICA:ALGORITHMS FOR TWO-PERSON GAMES - ACADEMIC PRESS 2003 - 327