## Recording and Checking HOL Proofs (1995)

by
Wai Wong

Venue: | Higher Order Logic Theorem Proving and Its Applications. 8th International Workshop, volume 971 of LNCS |

Citations: | 16 - 1 self |