Gary Lindstrom: Implementing logical variables on a graph reduction architecture. Graph Reduction 1986: 382-400