Thesis

On Applying Or-Parallelism and Tabling to Logic Programs
Ricardo 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.