Relating defeasible and normal logic programming through transformation properties (2002)

by Carlos Iván Chesñevar, Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari
Venue:Theoretical Computer Science