Central South Univ. of Technology, Changsha, Hunan, China;Central South Univ. of Technology, Changsha, Hunan, China;Central South Univ. of Technology, Changsha, Hunan, China
Venue:
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation