49 citations · 106 across the 25 of their papers we have counts for
1 paper · 2 filters
Thomas Schwentick, Thomas Zeume
It is shown that the finite satisfiability problem for two-variable logic over structures with one total preorder relation, its induced successor relation, one linear order relatio…