Thomas Schwentick
-
Graph properties checkable in linear time in the number of vertices
Journal of Computer and System Sciences