Interdefinability of defeasible logic and logic programming under the well-founded semantics