Hereditary Undecidability of Some Theories of Finite Structures.

Ross Willard Hereditary Undecidability of Some Theories of Finite Structures. 1254-1262 1994 59 J. Symb. Log. 4 db/journals/jsyml/jsyml59.html#Willard94