Injective envelopes of transition systems and Ferrers languages
and
RAIRO-Theor. Inf. Appl., 54 (2020) 4
Published online: 19 May 2020
DOI: 10.1051/ita/2020005
