Karl Aberer. Combinatory Models and Symbolic Computation. In John Fitch, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 92, Bath, UK, April 13-15, 1992, Proceedings. Volume 721 of Lecture Notes in Computer Science, pages 116-131, Springer, 1992.
Abstract is missing.