Deepak Kapur Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers 5081 2008 978-3-540-87826-1 ASCM Lecture Notes in Computer Science Springer db/conf/ascm/ascm2007.html