Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System | Publicación