Alpha-Beta Pruning for Games with Simultaneous Moves