The following publications are possibly variants of this publication:
- Temporal Logic Programming Language Tokio - Programming in TokioT. Aoyagi, Masahiro Fujita, Tohru Moto-Oka. lp 1986: 128-137
- Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to PrologMasahiro Fujita, Shinji Kono, Hidehiko Tanaka, Tohru Moto-Oka. ICLP 1986: 695-709
- Implementation of Temporal Logic Programming Language TokioShinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka. lp 1986: 138-147
- A Data Path Verifier for Register Transfer Level Using Temporal Logic Language TokioHiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka. cav 1991: 76-85
- Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array SynthesisMasahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, Tohru Moto-Oka. lp 1986: 246-255