A Calculational Fusion System HYLO (1997)

by Y Onoue, Z Hu, H Iwasaki, M Takeichi
Venue:In IFIP TC 2 Working Conference on Algorithmic Languages and Calculi, Le Bischenberg