"The MUSE Parallel Prolog System."

Khayri A. M. Ali, Roland Karlsson (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics