Jones ND. Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof. DPB [Internet]. 1980 Jan. 1 [cited 2024 Sep. 27];9(107). Available from: https://tidsskrift.dk/daimipb/article/view/6522