IPSE 2.5 review of existing theorem provers - Lindsay, Peter A.; Moore, Richard C.; Ritchie, Brian (Technical report series / University of Manchester, Department of Computer Science., 1987)