A modular translation from defeasible nets to defeasible logics. - David Billington; Koen de Coster; Donald Nute (J. Exp. Theor. Artif. Intell., 1990)