Affiliation: | (1) Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, 8200 Aarhus N, Denmark;(2) Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands |