A Parallel Logic Simulator Based on Concurrent Prolog. - Yasunori Noda; Tetsuo Kinoshita; Akira Okumura; Tatsuro Hirano; Tadashi Hiruta (LP, 1985)