Guarded Horn Clauses and Experience with Parallel Logic Programming. - Jiro Tanaka; Kazunori Ueda; Tashihiko Miyazaki; Akikazu Takeuchi; Yuji Matsumoto 001; Koichi Furukawa (FJCC, 1986)