Logic frames for interactive theorem proving - Lindsay, Peter A. (Technical report series / University of Manchester, Department of Computer Science., 1987)