\section{Acknowledgments}

The authors would like to thank the MIT Laboratory of Computer Science
and the School of Computer Science of McGill University for
facilitating this effort. The second author
would like to thank the National Science and Engineering Research
Council (NSERC) of Canada for their support.
