MSO on the Infinite Binary Tree: Choice and Order.

Arnaud Carayol, Christof Lding

Browse the full CSL paper archive.