A generic theorem prover (1994)

by L Paulson, Isabelle
Venue:in IFIP International Conference on Programming Concepts and Methods (PROCOMET98