Selected references Mehdi Jazayeri. A simpler construction for showing the intrinsically exponential complexity of the circularity problem for attribute grammars. Journal of the ACM, 28(4):715-720, October 1981.