Toyoaki Nishida Tetsuo Tomiyama Takashi Kiriyama Eighth International Workshop on Qualitative Reasoning about Physical Systems. 7-8 1995 16 AI Magazine 2 db/journals/aim/aim16.html#NishidaTK95