Gary Lindstrom. Implementing logical variables on a graph reduction architecture. In Joseph H. Fasel, Robert M. Keller, editors, Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986. Volume 279 of Lecture Notes in Computer Science, pages 382-400, Springer, 1986.
Abstract is missing.