%% Saved with string encoding Western (Windows Latin 1)


@article{metitarski-jar,
	Author = {Akbarpour, Behzad and Paulson, Lawrence},
	Doi = {10.1007/s10817-009-9149-2},
	Journal = jar,
	Month = mar,
	Number = {3},
	Pages = {175-205},
	Title = {{MetiTarski}: An Automatic Theorem Prover for Real-Valued Special Functions},
	Volume = {44},
	Year = {2010},
	url = {https://doi.org/10.1007/978-3-540-85110-3_18}}
