AI for pencil and paper games