A logic-algebraic approach to decision taking in a railway interlocking system | Publicación