AlferesBBL05'

BibTeX

@article{DBLP:journals/sLogica/AlferesBBL05,
  author    = {Jos{\'e} J{\'u}lio Alferes and
               Federico Banti and
               Antonio Brogi and
               Jo{\~a}o Alexandre Leite},
  title     = {The Refined Extension Principle for Semantics of Dynamic
               Logic Programming},
  journal   = {Studia Logica},
  volume    = {79},
  number    = {1},
  year      = {2005},
  pages     = {7-32},
  ee        = {http://dx.doi.org/10.1007/s11225-005-0492-y},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}