First-Order Proof Tactics in Higher-Order Logic Theorem Provers (0)

by J Hurd
Venue:Proceedings of the 1st International Workshop on Design and Application of Strategies/Tactics in Higher Order Logics, number NASA/CP-2003-212448 in NASA Technical Reports