"The Boundedness Problem for Monadic Universal First-Order Logic."

Martin Otto (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics