Chronolog (Z): Linear-Time Logic Programming

• Authors:

• Mehmet A. Orgun;William W. Wadge;Weichang Du

• Affiliations:

• -;-;-

• Venue:
• ICCI '93 Proceedings of the Fifth International Conference on Computing and Information
• Year:
• 1993