Manuel Carro Luis Manuel Gómez Henríquez Manuel V. Hermenegildo Some Paradigms for Visualizing Parallel Execution of Logic Programs. 184-200 1993 ICLP db/conf/iclp/iclp93.html#CarroGH93