A logic approach to decision taking in a railway interlocking system using Maple
scientific article; zbMATH DE number 6034836