@Article{ Lohrey98ac, author = "Markus Lohrey", title = "NP-Completeness Results Concerning the Transformation of Logic Programs into Attribute Grammars", journal = "Acta Cybernetica", volume = "13", number = "3", year = "1998", pages = "209--224" }