TAME: Using PVS strategies for special-purpose theorem proving. (2000)

by Myla Archer
Venue:Annals of Mathematics and Artificial Intelligence,