Rocco Gangle Gianluca Caterina Fernando Tohmé A constructive sequence algebra for the calculus of indications. 17621-17629 2020 24 Soft Comput. 23 https://doi.org/10.1007/s00500-020-05121-1 db/journals/soco/soco24.html#GangleCT20