.

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