.

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