Publications of K. CulikRAIRO-Theor. Inf. Appl., 28 3-4 (1994) 425-430DOI: https://doi.org/10.1051/ita/1994283-404251
