Bijective Faithful Translations among Default Logics