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.
Abstract is missing.