%A Steven Gregory
%T Design, application and implementation
of a parallel logic programming language
%R Ph.D. thesis
%I Department of Computing,
Imperial College of Science and Technology,
University of London
%D September 1985
%P 263
%K PARLOG, AND-parallelism

%A P. Hammond
%T Logic programming for expert systems
%R M.Sc. thesis
%I Department of Computing,
Imperial College of Science and Technology,
University of London
%D 1980
%K application, embedded systems

%A C.J. Hogger
%T Derivation of logic programs
%R Ph.D. thesis
%I Department of Computing,
Imperial College of Science and Technology,
University of London
%D 1978

%A George H. Pollard
%T Parallel execution of Horn clause programs
%R Ph.D. thesis
%I Department of Computing,
Imperial College of Science and Technology,
University of London
%D 1981
%P 226
%K AND-parallelism, AND-OR-parallelism

%A G.A. Ringwood
%T The dining logicians
%R M.Sc. thesis
%I Department of Computing,
Imperial College of Science and Technology,
University of London
%D 1984

%A B.D. Steele
%T EXPERT - The implementation of data-independent expert systems
with quasi-natural language information input
%R M.Sc. thesis
%I Department of Computing,
Imperial College of Science and Technology,
University of London
%D 1981

%A P.E. Vasey
%T First-order logic applied to the description and derivation of programs
%R Ph.D. thesis
%I Department of Computing,
Imperial College of Science and Technology,
University of London
%D 1984