Affiliation: | (1) Mathematical Institute of the Hungarian Academy of Sciences, Reáltanoda u. 13-15, H-1053 Budapest, Hungary, HU;(2) CWI, Kruislaan 413, 1098 SJ, Amsterdam, The Netherlands. Current address: BRICS, Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Denmark, NL |