Stavros S. Cosmadakis 52-61 conf/focs/FOCS34 1993 FOCS db/conf/focs/focs93.html#Cosmadakis93