A logic approach to decision taking in a railway interlocking system using Maple | Publicación