James Harland Joxan Jaffar On Parallel Unification for Prolog. 259-279 1987 5 New Generation Comput. 3 db/journals/ngc/ngc5.html#HarlandJ87