Algorithm theory-- SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994, proceedings / - Schmidt, E. M.; Skyum, Sven, (Springer-Verlag,, 1994)