Automation for interactive proof: First prototype (2006)

by Jia Meng, Claire Quigley, Lawrence C Paulson
Venue:Information and Computation