An implementation of TMS in concurrent logic programming language preliminary report - Satō, Ken; Iwayama, Noboru; Sugino, Eiji (1990)