49 citations · 106 across the 25 of their papers we have counts for
1 paper · 1 filter
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…