Papers from the international symposium on Symbolic and algebraic computation - Wang, Paul S (Association for Computing Machinery, 1992)