Tool Building Requirements for an API to First−Order Solvers
Jim Grundy‚ Tom Melham‚ Sava Krstić and Sean McLaughlin
ISSN
1571−0661
Journal
Electronic Notes in Theoretical Computer Science
Month
January
Number
2
Pages
15–26
Volume
144
Year
2006
Jim Grundy‚ Tom Melham‚ Sava Krstić and Sean McLaughlin