ByNobleID
    On the Implementation of an Or-Parallel Prolog System for Clusters of\n Multicores | NobleID