Thesis
On Applying Or-Parallelism and Tabling to Logic ProgramsRicardo Rocha. PhD Thesis, Department of Computer Science, Faculty of Sciences, University of Porto, Portugal, November 2001.
Um Sistema Baseado na Cópia de Ambientes para a Execução de Prolog em Paralelo
Ricardo Rocha. MSc Thesis, Department of Informatics, University of
Minho, Portugal, July 1996.