Johan A. List Arjen P. de Vries CWI at INEX 2002. 133-140 2002 conf/inex/2002 INEX Workshop db/conf/inex/inex2002.html#ListV02