.

Published in: RAIRO Theor. Informatics Appl. (2017)