The next 700 theorem provers (1990)

by Isabelle
Venue:Logic and computer science