Bijective faithful translations among default logics | UPT Perpustakaan UHAMKA