Citation: Y. Hachisu et al., AN EFFICIENT IMPLEMENTATION OF TERM REWRITING SYSTEM ON A DISTRIBUTED-MEMORY ARCHITECTURE, IEICE transactions on information and systems, E80D(4), 1997, pp. 510-517
Citation: T. Hamaguchi et al., ERROR DESCRIPTION ON ALGEBRAIC SPECIFICATION AND ITS AUTOMATIC ADDITION, Systems and computers in Japan, 27(10), 1996, pp. 59-67