Lohrey, M. 1998. NP-completeness results concerning the transformation of logic programs into attribute grammars. Acta Cybernetica. 13, 3 (Jan. 1998), 209-224.