Experiments on supporting interactive proof using resolution

by Jia Meng , Lawrence C. Paulson
Venue:In Basin and Rusinowitch [4
Citations:28 - 8 self