Experiments on supporting interactive proof using resolution (0)

by J Meng, L C Paulson
Venue:In David Basin and Michaël Rusinowitch, editors, Automated Reasoning — Second International Joint Conference, IJCAR 2004, LNAI 3097