M. Lohrey, “NP-completeness results concerning the transformation of logic programs into attribute grammars”, Acta Cybern, vol. 13, no. 3, pp. 209-224, Jan. 1998.