A Complete Axiomatization of MSO on Infinite Trees.

Anupam Das, Colin Riba

Browse the full LICS paper archive.