Author: Scandinavian Workshop on Algorithm Theory (4th 1994 Århus, Denmark)