Compile-time analysis of concurrent logic programs for multiprocessors. - Andrew Malcolm King (1992)