Railway interlocking systems and Gröbner bases | Publicación