Tomi Janhunen. Some (in)translatability results for normal logic programs and propositional theories. Journal of Applied Non-Classical Logics, 16(1-2):35-86, 2006.
@article{Janhunen06, title = {Some (in)translatability results for normal logic programs and propositional theories}, author = {Tomi Janhunen}, year = {2006}, tags = {translation, logic programming, logic}, researchr = {https://researchr.org/publication/Janhunen06}, cites = {0}, citedby = {0}, journal = {Journal of Applied Non-Classical Logics}, volume = {16}, number = {1-2}, pages = {35-86}, }