Experiments on supporting interactive proof using resolution (2004)

by Jia Meng, Lawrence C Paulson
Venue:of Lecture Notes in Computer Science