C.E.: TPS: A hybrid automatic-interactive system for developing proofs. (2006)

by P B Andrews, Brown
Venue:Journal of Applied Logic