TPTP Reference: AP10


@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      = ""
}