Analytica - An Experiment in Combining Theorem Proving and Symbolic (1998)

by A Bauer, E Clarke
Venue:Computation, Journal of Automated Reasoning