Relating defeasible and normal logic programming through transformation properties

Carlos Iván Chesñevar, Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari. Relating defeasible and normal logic programming through transformation properties. Theoretical Computer Science, 290(1):499-529, 2003.

Abstract

Abstract is missing.