WriteSequenceForm[output<->OUTPUT, efg->EFG] =: OUTPUT
WriteSequenceForm writes the sequence form for the game efg to output.
SequenceForm, SequenceFormConstraints, SequenceFormStrats.