Extending the TOY System with the ECL i PS e Solver over Sets of Integers | Publicación