Two-Variable Logic with Two Order Relations - (Extended Abstract).

Thomas Schwentick, Thomas Zeume

Browse the full CSL paper archive.