Schäfer: Unscharfe zeitlogische Modellierung von Situationen und Handlungen in der Bildfolgenauswertung und Robotik. Dissertation, Fakultät für Informatik der Universität Karlsruhe (TH (1996)