Hiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka. Logic Design Assistence Using Temporal Logic Based Language Tokio. In Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki, editors, Logic Programming 89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989. Volume 485 of Lecture Notes in Computer Science, pages 174-183, Springer, 1989.
Abstract is missing.