Efficient weighted expressions conversion
and
RAIRO-Theor. Inf. Appl., 42 2 (2008) 285-307
Published online: 06 September 2007
DOI: 10.1051/ita:2007035
