@inproceedings{DouMcDermott06_invited,
  author    = {Dejing Dou and
               Drew V. McDermott},
  title     = {Towards Theory Translation.},
  booktitle = {Post-Proceedings of The 4th International Workshop on
Declarative Agent Languages and Technologies (DALT) (invited paper)},
  year      = {2006},
  pages     = {16-28},
  ee        = {http://dx.doi.org/10.1007/11961536_2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}