Technical Reports
2005
The MYDDAS Programmer's ManualTiago Soares, Michel Ferreira and Ricardo Rocha. Technical Report DCC-2005-10, DCC-FC & LIACC, University of Porto. December 2005.
1999
Three Amigos: A Tale of Three Execution Models for Or-ParallelismVítor Santos Costa, Ricardo Rocha and Fernando Silva. Technical Report DCC-1999-02, DCC-FC & LIACC, University of Porto. September 1999.
1997
YapOr: an Or-Parallel Prolog System based on Environment CopyingRicardo Rocha, Fernando Silva and Vítor Santos Costa. Technical Report DCC-1997-14, DCC-FC & LIACC, University of Porto. December 1997.
On Applying Or-Parallelism to Tabled Evaluations
Ricardo Rocha, Fernando Silva and Vítor Santos Costa. Technical Report
DCC-1997-02, DCC-FC & LIACC, University of Porto. April 1997.