@article{b496fc7c2baf4891a88a3ec4d1cc8023,
title = "Some (in)translatability results for normal logic programs and propositional theories",
keywords = "answer set programming, expressive power, modularity, satisfiability solvers, stable model semantics, translation functions, answer set programming, expressive power, modularity, satisfiability solvers, stable model semantics, translation functions, answer set programming, expressive power, modularity, satisfiability solvers, stable model semantics, translation functions",
author = "Tomi Janhunen",
year = "2006",
language = "English",
volume = "16",
pages = "35--86",
journal = "Journal of Applied Non-Classical Logics",
issn = "1958-5780",
publisher = "Taylor \& Francis",
number = "1-2",
}