## 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: | 50 - 4 self |