Logic and Functional Programming on Distributed Memory Architecture. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso; Marisa Porta; Giorgio Sofi (ICLP, 1990)