%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Larry Paulson at 2016-03-08 17:12:34 +0000 


%% Saved with string encoding Unicode (UTF-8) 



@article{ciolli-cartan,
	Author = {Ciolli, Gianni and Gentili, Graziano and Maggesi, Marco},
	Date-Added = {2016-03-08 17:11:17 +0000},
	Date-Modified = {2016-03-08 17:12:34 +0000},
	Doi = {10.1007/s10817-010-9198-6},
	Journal = {J. Autom. Reason.},
	Keywords = {Cartan fixed point theorems, Complex analysis, Formal proving},
	Month = oct,
	Number = {3},
	Pages = {319-336},
	Publisher = {Springer},
	Title = {A Certified Proof of the {Cartan} Fixed Point Theorems},
	Url = {https://doi.org/10.1007/s10817-010-9198-6},
	Volume = {47},
	Year = {2011},
	Bdsk-Url-1 = {https://doi.org/10.1007/s10817-010-9198-6}}
