Cardinality Quantifiers in MLO over Trees.

Vince Brny, Lukasz Kaiser, Alexander Rabinovich

Browse the full CSL paper archive.