http://dblp.rkbexplorer.com/id/conf/icalp/http://eccc.hpi-web.de/eccc-reports/2004/TR04-032/

used by 0: