Computational reflection via mechanized logical deduction (1996)

by A Cimatti, P Traverso
Venue:International Journal of Intelligent Systems