@misc {IOPORT.70150657,
    author       = {Cresswell, Stephen and Smaill, Alan and Richardson, Julian},
    title        = {Deductive synthesis of recursive plans in linear logic},
    howpublished = {ECP, 252-264 (1999).},
    year         = {1999},
    doi          = {10.1007/10720246_20},
    identifier   = {70150657},
}