Enhancing D-ABDUCTOR towards a diagrammatic user interface platform. - Kazuo Misue; Kiyoshi Nitta; Kozo Sugiyama; Takeshi Koshiba; R. Inder (KES (1), 1998)