@ARTICLE{Armando19972,
author={Armando, Alessandro, Smaill, Alan, Green, Ian},
title={Automatic synthesis of recursive programs: The proof-planning paradigm},
journal={Proceedings of the IEEE International Automated Software Engineering Conference, ASE},
year={1997},
pages={2-9},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031355483&partnerID=40&md5=d1c35178c965f973b6669e8b5396a198},
document_type={Conference Paper},
source={Scopus},
}

{"_id":"x7BsWfyAche9vuLh6","bibbaseid":"armando-smaill-green-automaticsynthesisofrecursiveprogramstheproofplanningparadigm-1997","downloads":0,"creationDate":"2016-08-26T09:24:46.743Z","title":"Automatic synthesis of recursive programs: The proof-planning paradigm","author_short":["Armando, A.","Smaill, A.","Green, I."],"year":1997,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Smaill"],"firstnames":["Alan"],"suffixes":[]},{"propositions":[],"lastnames":["Green"],"firstnames":["Ian"],"suffixes":[]}],"title":"Automatic synthesis of recursive programs: The proof-planning paradigm","journal":"Proceedings of the IEEE International Automated Software Engineering Conference, ASE","year":"1997","pages":"2-9","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031355483&partnerID=40&md5=d1c35178c965f973b6669e8b5396a198","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando19972,\nauthor={Armando, Alessandro, Smaill, Alan, Green, Ian},\ntitle={Automatic synthesis of recursive programs: The proof-planning paradigm},\njournal={Proceedings of the IEEE International Automated Software Engineering Conference, ASE},\nyear={1997},\npages={2-9},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031355483&partnerID=40&md5=d1c35178c965f973b6669e8b5396a198},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Smaill, A.","Green, I."],"key":"Armando19972","id":"Armando19972","bibbaseid":"armando-smaill-green-automaticsynthesisofrecursiveprogramstheproofplanningparadigm-1997","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031355483&partnerID=40&md5=d1c35178c965f973b6669e8b5396a198"},"downloads":0},"search_terms":["automatic","synthesis","recursive","programs","proof","planning","paradigm","armando","smaill","green"],"keywords":["dblp"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}