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

by R Rocha, F Silva, V Santos Costa
Venue:In Portuguese Conference on Artificial Intelligence, number 1695 in LNAI