@Article{Ble90, Author = "Bledsoe, W.W.", Year = "1990", Title = "{Challenge Problems in Elementary Calculus}", Journal = "Journal of Automated Reasoning", Volume = "6", Number = "3", Pages = "341-359", Comment = "TPTPRef" }