@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}

}