A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments. - Daniela Briola; Viviana Mascardi; Maurizio Martelli; Gabriele Arecco; Riccardo Caccia; Carlo Milani (WOA, 2008)