The Boyer-Moore Prover and Nuprl: An Experimental Comparison (1991)

by David Basin , Matt Kaufmann
Venue:LOGICAL FRAMEWORKS
Citations:24 - 8 self