TY  - RPRT
TI  - Injective envelopes of transition systems and Ferrers languages
AU  - Mustapha Kabil
AU  - Maurice Pouzet
PY  - 2019
UR  - https://arxiv.org/abs/1907.02231
ID  - 1907.02231
ER  -