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

by David Basin, Matt Kaufmann
Venue:In Gérard Huet and Gordon Plotkin, editors, Logical Frameworks