@Article{AP10, Author = "Akbarpour, B. and Paulson, L.", Year = "2010", Title = "{MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions}", Journal = "Journal of Automated Reasoning", Volume = "44", Number = "3", Pages = "175-205", Comment = "" }