Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt, Guoliang Qian, Yuqing Tang
Browse the full ISSAC paper archive.