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