Shigeyuki Takagi Toshio Yokoi Shunichi Uchida Toshiaki Kurokawa Takashi Hattori Takashi Chikayama Kô Sakai Junichiro Tsuji Overall design of SIMPOS. 1-12 1984 ICLP db/conf/iclp/iclp84.html#TakagiYUKHCST84