Alpha-beta pruning for games with simultaneous moves
On Pruning Techniques for Multi-Player Games