Chronolog (Z): Linear-Time Logic Programming.

Mehmet A. Orgun, William W. Wadge, Weichang Du

Browse the full ICCI paper archive.