The intrinsically exponential complexity of the circularity problem for attribute grammars (1990)

by M Jazayeri, W F Ogden, W C Rounds
Venue:ACM Transactions on Programming Languages and Systems