Hiroshi Date Yukinori Matsumoto Kouichi Kimura Kazuo Taki Hiroo Kato Masahiro Hoshi LSI-CAD Programs on Parallel Inference Machine. 237-247 1992 FGCS db/conf/fgcs/fgcs92.html#DateMKTKH92