1. Institute for Theoretical Computer Science, Technical University of Dresden, Dresden D-01062, Germany. baader@tcs.inf.tu-dresden.de
2. Department of Mathematics and Statistics, University of Turku, Turku FI-20014, Finland. alexander.okhotin@utu.fi