Amitabha Roy Christopher Wilson Supermodels and Closed Sets Electronic Colloquium on Computational Complexity (ECCC) 2000 7 10 db/journals/eccc/eccc7.html#ECCC-TR00-010 http://eccc.hpi-web.de/eccc-reports/2000/TR00-010/index.html