"Decidability Issues for Two-Variable Logics with Several Linear Orders."

Emanuel Kieronski (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics