Shinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka. Implementation of Temporal Logic Programming Language Tokio. In Eiiti Wada, editor, Logic Programming 85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985. Volume 221 of Lecture Notes in Computer Science, pages 138-147, Springer, 1985.
Abstract is missing.