The Boyer-Moore prover and Nuprl: An experi mental comparison (1991)

by D Basin, M Kaufmann
Venue:Logical Frameworks