Visualisation of the OBJ Term Re-writing Process

Duncan S. Neary, Martin R. Woodward. Visualisation of the OBJ Term Re-writing Process. In Ray Paton, Irene Neilson, editors, Visual Representations and Interpretations. pages 351-356, Springer, 1999. [doi]

Abstract

Abstract is missing.