Tool Building Requirements for an API to First-Order Solvers. - Grundy, Jim; Melham, Thomas F.; Krstic, Sava; McLaughlin, Sean (2005)