Une charpente de semi-unificationJ.-L. Durieux and E. Saint-JamesRAIRO-Theor. Inf. Appl., 22 2 (1988) 173-226DOI: https://doi.org/10.1051/ita/1988220201731
