Peter J. Robinson

The demonstration interactive theorem prover Demo3.3

Peter J. Robinson, K. Whitwell, 1993 .

Qu-prolog 4.3 reference manual

Richard Hagen, Peter J. Robinson, Peter J. Robinson, 1999 .

Multi-threading in an interactive theorem prover

Phil Cook, Peter J. Robinson, 1999 .

ERGO 6: A GENERIC PROOF ENGINE THAT USES PROLOG PROOF TECHNOLOGY

Mark Utting, Ray Nickson, M. Utting, 2002 .