12 citations · 12 across the 1 of their papers we have counts for
1 paper
Philipp Weis, Neil Immerman
It is well-known that every first-order property on words is expressible using at most three variables. The subclass of properties expressible with only two variables is also quite…