Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.

Andrej Bauer Edmund M. Clarke Xudong Zhao Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. 21-37 1996 conf/aisc/1996 AISMC db/conf/aisc/aismc1996.html#BauerCZ96