A Calculational Fusion System HYLO (1997)

by Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi