Jones, N. D. (1980) “Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof”, DAIMI Report Series, 9(107). doi: 10.7146/dpb.v9i107.6522.