Thomas Schwentick Descriptive Complexity, Lower Bounds and Linear Time. 9-28 1998 conf/csl/1998 CSL db/conf/csl/csl98.html#Schwentick98 http://dx.doi.org/10.1007/10703163_2