TPS: A hybrid automatic-interactive system for developing proofs (0)

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