Computing Strong Game-Theoretic Strategies in Jotto