This work was partially supported by the
Natural Sciences and Engineering Research Council of Canada. The first
author wishes to thank the joint CNRS/INRIA/UNSA project SLOOP for its
hospitality while this paper was being prepared.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.