Chesńevar, Carlos Iván Relating defeasible and normal logic programming through transformation propierties Standard No.: DIF003329