Lohrey Markus: NP-completeness results concerning the transformation of logic programs into attribute grammars. In: Acta cybernetica, (13) 3. pp. 209-224. (1998)