E. Stopp, K. Gapp, G. Herzog, T. Laengle, and T. Lueth. KI-94: Advances in Artificial Intelligence, 18th German Annual Conference on Artificial Intelligence, Saarbrücken, volume 861 of Lecture Notes in Artificial Intelligence, Springer, Berlin, (1994)