Temporal Logic Programming Language Tokio - Programming in Tokio. - T. Aoyagi; Masahiro Fujita; Tohru Moto-Oka (LP, 1985)

Implementation of Temporal Logic Programming Language Tokio. - Shinji Kono; T. Aoyagi; Masahiro Fujita; Hidehiko Tanaka (LP, 1985)