On a paper by Castelli, Mignosi, RestivoJacques JustinRAIRO-Theor. Inf. Appl., 34 5 (2000) 373-377DOI: https://doi.org/10.1051/ita:2000122
