DI Dr. Hannes Krasser,
	Institute for Theoretical Computer Science, Graz, Austria	April 2007