Mark Jerrum Gregory B. Sorkin 94-103 conf/focs/FOCS34 1993 FOCS db/conf/focs/focs93.html#JerrumS93