On the Structure of the Monadic Logic of the Binary Tree.

David Janin, Giacomo Lenzi

Browse the full MFCS paper archive.