@ARTICLE{dixetal02tcs,
  author       = {J\"{u}rgen Dix and C. Chesnevar and   F. Stolzenburg and G. Simari},
  title        = {Relating {D}efeasible and {N}ormal {L}ogic {P}rogramming through
          {T}ransformation  {P}roperties},
  journal      = {Theoretical Computer Science},
  year         = 2002,
  volume    =  {290},
  number       = {1},
  pages   ={499--529},
}