"Quantitative Monadic Second-Order Logic."

Stephan Kreutzer, Cristian Riveros (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics