Design, application and implementation of a parallel logic programming language. - Steven Gregory (1985)