Richard J. Boulton
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Efficiency in a fully-expansive theorem prover
Richard J. Boulton (1994) · Technical Report 337
A HOL semantics for a subset of ELLA
Richard J. Boulton (1992) · CL Technical Reports · University of Cambridge Computer Laboratory