A Distributed Implementation of Flat GHC on the Multi-PSI. - M. Ichiyoshi; T. Miyazaki; Kazuo Taki (ICLP, 1987)