CresswellSR99'

BibTeX

@inproceedings{DBLP:conf/ecp/CresswellSR99,
  author    = {Stephen Cresswell and
               Alan Smaill and
               Julian Richardson},
  title     = {Deductive Synthesis of Recursive Plans in Linear Logic},
  booktitle = {ECP},
  year      = {1999},
  pages     = {252-264},
  crossref  = {DBLP:conf/ecp/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ecp/1999,
  editor    = {Susanne Biundo and
               Maria Fox},
  title     = {Recent Advances in AI Planning, 5th European Conference
               on Planning, ECP'99, Durham, UK, September  8-10, 1999,
               Proceedings},
  booktitle = {ECP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1809},
  year      = {2000},
  isbn      = {3-540-67866-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}