SETHEO, PARTHEO, user's manual - Schumann, Johannes; Trapp, Norbert; Koelen, Martin van der (Forschungsberichte Künstliche Intelligenz, 1989)