Saraswati Kalvala
-
TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence