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

by R Rocha, F Silva, Santos Costa, V
Venue:In LNAI 1695, Proceedings of EPPIA’99: The 9th Portuguese Conference on Artificial Intelligence. Springer-Verlag LNAI Series