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

by R Rocha, F Silva, V Santos Costa
Venue:In EPPIA