A Distributed Implementation of Flat GHC on the Multi-PSI.

M. Ichiyoshi, T. Miyazaki, Kazuo Taki

Browse the full ICLP paper archive.