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.
@article{ChesnevarDSS03,
title = {Relating defeasible and normal logic programming through transformation properties},
author = {Carlos Iván Chesñevar and Jürgen Dix and Frieder Stolzenburg and Guillermo Ricardo Simari},
year = {2003},
tags = {logic programming, programming, logic, transformation, program transformation},
researchr = {https://researchr.org/publication/ChesnevarDSS03},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {290},
number = {1},
pages = {499-529},
}