Nicola Galesi Neil Thapen Resolution and pebbling games Electronic Colloquium on Computational Complexity (ECCC) 2004 112 db/journals/eccc/eccc11.html#TR04-112 http://eccc.hpi-web.de/eccc-reports/2004/TR04-112/index.html