Fachbereich Informatik Technische Universität Kaiserslautern Gottlieb-Daimler-Straße D-67663 Kaiserslautern dopichaj@informatik.uni-kl.de
