First-order proof tactics in higher-order logic theorem provers (2003)

by Joe Hurd
Venue:Design and Application of Strategies/Tactics in Higher Order Logics, number NASA/CP-2003-212448 in NASA Technical Reports
Citations:49 - 4 self