@Article{logtrans,
author = {Till Mossakowski and R\u{a}zvan Diaconescu and Andrzej Tarlecki},
title = {What is a Logic Translation?},
journal = {Logica Universalis},
year = 2009,
volume = 3,
number = 1,
pages = {95--124}
}