http://dblp.rkbexplorer.com/id/journals/neco/http://eccc.hpi-web.de/eccc-reports/2000/TR00-086/

used by 0: