Atsuhiro Goto Akira Matsumoto Evan Tick Design and Performance of a Coherent Cache for Parallel Logic Programming Architectures. 25-33 1989 ISCA http://doi.acm.org/10.1145/74925.74929 db/conf/isca/isca89.html#GotoMT89