Data-driven and demand-driven evaluation of logic programs. - Zahran Halim (1984)

A Data-Driven Machine for OR-Parallel Evaluation of Logic Programs. - Zahran Halim (New Gener. Comput., 1986)

From Databases to Hypermedia - With 26 CAI Lessons - Hermann Maurer; Nick Scherbakov; Zahran Halim; Zaidah Razak (From Databases to Hypermedia, 1998)