Integrity Checking in Deductive Databases. - Robert A. Kowalski; Fariba Sadri; Paul Soper (VLDB, 1987)

Database applications using Prolog by Robert Lucas, Ellis Horwood Ltd, 1988, pp 159, £19.95. - Paul Soper (Knowl. Eng. Rev., 1989)

Compile-Time Analysis of Concurrent Logic Programs for Multi-processors. - Andy King; Paul Soper (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

Temporal Aspects of a Knowledge Based System for the Management of Hospital Patients. - Paul Soper; Geetha Abeysinghe; Charles Ranaboldo (DEXA, 1990)

A Temporal Model for Clinical and Resource Management in Vascular Surgery. - Paul Soper; Charles Ranaboldo; Geetha Abeysinghe (DEXA, 1991)

Reducing Scheduling Overheads for Concurrent Logic Programs. - Andy King; Paul Soper (PDK, 1991)

Serialisation Analysis of Concurrent Logic Programs. - Andy King; Paul Soper (ALP, 1992)

Using Hypertext to Interface to Legal Knowledge Based Systems. - Paul Soper; Trevor J. M. Bench-Capon (DEXA, 1992)

Schedule Analysis of Concurrent Logic programs. - Andy King; Paul Soper (JICSLP, 1992)

Ordering Optimizations for Concurrent Logic Programs. - Andy King; Paul Soper (LFCS, 1992)

Coupling hypertext and knowledge based systems: Two applications in the legal domain. - Paul Soper; Trevor J. M. Bench-Capon (Artif. Intell. Law, 1993)

Continuation Compilation for Concurrent Logic Programming. - B. Kemp; Paul Soper; Andy King (AIRTC, 1994)

Depth-k Sharing and Freeness. - Andy King; Paul Soper (ICLP, 1994)

Logic Programming Techniques for Handling Navigational Problems of Hypermedia Systems. - Paul Soper; Muhammad A. Pasha (WLP, 1994)

A Composite Approach to Meet the Needs of Legal Professionals. - Muhammad A. Pasha; Paul Soper (DEXA Workshop, 1996)

Typed Norms for Typed Logic Programs. - Jonathan C. Martin; Andy King; Paul Soper (LOPSTR, 1996)

Combining the Strengths of Information Management Technologies to Meet the Needs of Legal Professionals. - Muhammed A. Pasha; Paul Soper (J. Inf. Law Technol., 1996)