FasTraC: A Decentralized Traffic Control System Based on Logic Programming.

Giovanni Felici, Giovanni Rinaldi, Klaus Truemper

Browse the full CADE paper archive.