Implementation of Temporal Logic Programming Language Tokio

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.

@inproceedings{KonoAFT85,
  title = {Implementation of Temporal Logic Programming Language Tokio},
  author = {Shinji Kono and T. Aoyagi and Masahiro Fujita and Hidehiko Tanaka},
  year = {1985},
  tags = {programming languages, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/KonoAFT85},
  cites = {0},
  citedby = {0},
  pages = {138-147},
  booktitle = {Logic Programming  85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985},
  editor = {Eiiti Wada},
  volume = {221},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-16479-0},
}