Richard Boulton

Object muscat, an open source search engine

Martin Porter, Richard Boulton, 2000, SIGF.

Implementing a CRM platform

Richard Boulton, 2019 .

1991 International Workshop on Formal Methods in VLSI Design: Trip report

Richard Boulton, 1991, SIGD.

Overview of data and CRM platforms

Richard Boulton, 2019 .

CRM data administration issues and tasks

Richard Boulton, 2019 .

Efficiency in a fully-expansive theorem prover

Richard Boulton, R. Boulton, 1993 .

Theorem Proving in Higher Order Logics

Richard J. Boulton, Tobias Nipkow, Alan Bundy, 2003, Lecture Notes in Computer Science.