Peter G. Harrison Mike Reeve The parallel graph reduction machine, Alice. 181-202 1986 conf/gr/1986 Graph Reduction db/conf/gr/gr1986.html#HarrisonR86