Johannes Köbler Uwe Schöning Jacobo Torán On Counting and Approximation. 40-51 1988 conf/caap/1988 CAAP db/conf/caap/caap88.html#KoblerST88 http://dx.doi.org/10.1007/BFb0026095