Mikolaj Bojanczyk. Weak MSO with the Unbounding Quantifier. Theory Comput. Syst., 48(3):554-576, 2011. [doi]
@article{Bojanczyk11-0,
title = {Weak MSO with the Unbounding Quantifier},
author = {Mikolaj Bojanczyk},
year = {2011},
doi = {10.1007/s00224-010-9279-2},
url = {http://dx.doi.org/10.1007/s00224-010-9279-2},
researchr = {https://researchr.org/publication/Bojanczyk11-0},
cites = {0},
citedby = {0},
journal = {Theory Comput. Syst.},
volume = {48},
number = {3},
pages = {554-576},
}