Hideaki Komatsu Naoyuki Tamura Yasuo Asakawa Toshiaki Kurokawa An Optimizing Prolog Compiler. 104-115 1986 conf/lp/1986 LP db/conf/lp/lp86.html#KomatsuTAK86 http://dx.doi.org/10.1007/3-540-18024-9_26