Towards a Browsable Record of HOL Proofs (1996)

by Jim Grundy , Thomas Långbacka
Citations:2 - 1 self