In: Harold Boley; François Bry; Ulrich Geske (Hrsg.). Proceedings of the Workshop on "Neuere Entwicklungen der deklarativen KI-Programmierung". Neuere Entwicklungen der deklarativen KI-Programmierung, September 13-15, Berlin, Germany, Pages 17-30, Research Report, No. RR-93-35, 1993.