Implementation of temporal logic programming language Tokio

• Authors:

• S Kono;T Aoyagi;M Fujita;H Tanaka

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the 4th conference on Logic programming '85
• Year:
• 1986