Bijective faithful translations among default logics
scientific article