LeeP07'

@inproceedings{DBLP:conf/lpnmr/LeeP07,
  author    = {Joohyung Lee and
               Ravi Palla},
  title     = {Yet Another Proof of the Strong Equivalence Between Propositional
               Theories and Logic Programs},
  booktitle = {CENT},
  year      = {2007},
  ee        = {http://ceur-ws.org/Vol-265/CENT2007-paper2.pdf},
  crossref  = {DBLP:conf/lpnmr/2007cent},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/lpnmr/2007cent,
  editor    = {David Pearce and
               Axel Polleres and
               Agust\'{\i}n Valverde and
               Stefan Woltran},
  title     = {Proceedings of the LPNMR'07 Workshop on Correspondence and
               Equivalence for Nonmonotonic Theories (CENT2007), Tempe,
               AZ, May 14, 2007},
  booktitle = {CENT},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {265},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}