V.: YapOr: an Or-Parallel Prolog System Based on Environment Copying (1999)

by R Rocha, F Silva, Santos Costa
Venue:In: Portuguese Conference on Artificial Intelligence. Number 1695 in LNAI, Springer-Verlag