"Using Dynamic Predicates in an Or--Parallel Prolog System."

Péter Szeredi (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics