@inproceedings{joshi_programming_2010,
	title = {Programming with {Miracles}},
	url = {https://hal.inria.fr/inria-00524770},
	doi = {10/cs4trs},
	language = {English},
	publisher = {HAL CCSD, Springer Berlin / Heidelberg},
	author = {Joshi, Rajeev},
	year = {2010},
	keywords = {[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]},
}

{"_id":"LZz22SWAcA52oSeNF","bibbaseid":"joshi-programmingwithmiracles-2010","author_short":["Joshi, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Programming with Miracles","url":"https://hal.inria.fr/inria-00524770","doi":"10/cs4trs","language":"English","publisher":"HAL CCSD, Springer Berlin / Heidelberg","author":[{"propositions":[],"lastnames":["Joshi"],"firstnames":["Rajeev"],"suffixes":[]}],"year":"2010","keywords":"[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]","bibtex":"@inproceedings{joshi_programming_2010,\n\ttitle = {Programming with {Miracles}},\n\turl = {https://hal.inria.fr/inria-00524770},\n\tdoi = {10/cs4trs},\n\tlanguage = {English},\n\tpublisher = {HAL CCSD, Springer Berlin / Heidelberg},\n\tauthor = {Joshi, Rajeev},\n\tyear = {2010},\n\tkeywords = {[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]},\n}\n\n","author_short":["Joshi, R."],"key":"joshi_programming_2010","id":"joshi_programming_2010","bibbaseid":"joshi-programmingwithmiracles-2010","role":"author","urls":{"Paper":"https://hal.inria.fr/inria-00524770"},"keyword":["[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[info.info-lo]computer science [cs]/logic in computer science [cs.lo]"],"search_terms":["programming","miracles","joshi"],"title":"Programming with Miracles","year":2010}