SMT solvers: New oracles for the HOL theorem prover (0)

by T Weber
Venue:International Journal on Software Tools for Technology Transfer (STTT