A Generic Theorem Prover (1994)

by Isabelle
Venue:of Lecture Notes in Computer Science