Algoritmo-forma-canonica-ddsi.pdf