Parallel execution of Horn clause programs. - George H. Pollard (1982)