TY - RPRT TI - Translations: generalizing relative expressiveness between logics AU - Diego Pinheiro Fernandes PY - 2017 UR - https://arxiv.org/abs/1706.08481 ID - 1706.08481 ER -