Jones, N. D. Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof. DPB 1980, 9.