An application of an AI methodology to railway interlocking systems using computer algebra | Publicación