DISPO: Distributed Multi-Threaded Execution of Prolog Programs. - A. S. Mohamed; A. Galal; I. Khalil; K. Sobh; M. Selim (FLAIRS, 1999)