Representation results for defeasible logic