.

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