The MUSE Parallel Prolog System. - Khayri A. M. Ali; Roland Karlsson (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

The Muse Or-Parallel Prolog Model and its Performance. - Khayri A. M. Ali; Roland Karlsson (NACLP, 1990)

The muse approach to Or-parallel prolog. - Khayri A. M. Ali; Roland Karlsson (Int. J. Parallel Program., 1990)

Full prolog and scheduling or-parallelism in muse. - Khayri A. M. Ali; Roland Karlsson (Int. J. Parallel Program., 1990)

Scheduling Or-Parallelism in Muse. - Khayri A. M. Ali; Roland Karlsson (ICLP, 1991)

Performance of Muse on the BBN Butterfly TC2000. - Khayri A. M. Ali; Roland Karlsson; Shyam Mudambi (ICLP Workshop on Parallel Execution of Logic Programs, 1991)

OR-Parallel Speedups in a Knowledge Based System: on Muse and Aurora. - Khayri A. M. Ali; Roland Karlsson (FGCS, 1992)

Performance of Muse on the BBN Butterfly TC2000. - Khayri A. M. Ali; Roland Karlsson (PARLE, 1992)

Scheduling speculative work in MUSE and performance results. - Khayri A. M. Ali; Roland Karlsson (Int. J. Parallel Program., 1992)

Performance of Muse on Switch-Based Multiprocessor Machines. - Khayri A. M. Ali; Roland Karlsson; Shyam Mudambi (New Gener. Comput., 1992)

Scheduling Speculative Work in MUSE. - Khayri A. M. Ali; Roland Karlsson (ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems, 1993)

A Novel Method for Parallel Implementation of findall. - Khayri A. M. Ali; Roland Karlsson (PLILP, 1993)