Author: Denmark) Scandinavian Workshop on Algorithm Theory 1994 (Arhus