StringologyTimes
Data Structures and Algorithms: 2000/4/15-21
1:
Deciding first-order properties of locally tree-decomposable structures