A calculational fusion system HYLO (1997)

by Y Onoue, Z Hu, H Iwasaki, M Takeichi
Venue:In IFIP TC 2 WG 2.1 Int. Workshop on Algorithmic Languages and Calculi