Stephen Cresswell, Alan Smaill, Julian Richardson. Deductive Synthesis of Recursive Plans in Linear Logic. In Susanne Biundo, Maria Fox, editors, Recent Advances in AI Planning, 5th European Conference on Planning, ECP 99, Durham, UK, September 8-10, 1999, Proceedings. Volume 1809 of Lecture Notes in Computer Science, pages 252-264, Springer, 1999.
@inproceedings{CresswellSR99,
title = {Deductive Synthesis of Recursive Plans in Linear Logic},
author = {Stephen Cresswell and Alan Smaill and Julian Richardson},
year = {1999},
tags = {logic},
researchr = {https://researchr.org/publication/CresswellSR99},
cites = {0},
citedby = {0},
pages = {252-264},
booktitle = {Recent Advances in AI Planning, 5th European Conference on Planning, ECP 99, Durham, UK, September 8-10, 1999, Proceedings},
editor = {Susanne Biundo and Maria Fox},
volume = {1809},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67866-2},
}