John S. Conery Parallel Logic Programs on the Mayfly. 49-72 1992 5 Lisp and Symbolic Computation 1-2 db/journals/lisp/lisp5.html#Conery92