Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers - Deepak Kapur ((Lecture Notes in Computer Science))