Topologies for the parallel backtracking Prolog engine. - Leonardo Campanale; Mario De Blasi; Anna Gentile; F. Greco (MICRO, 1990)