ISSAC 2008 (July 20-23)
Click image to enlarge
ISSAC 2008. François Lemaire, Marc Moreno Maza, Wei Pan and Yuzhen Xie. When does (T) equal Sat(T) ? (22.07.2008 09:20:50)