1. S. Abrams and P. K. Alien. Computing camera viewpoints in an active robot work-cell. Technical Report IBM Research Report: RC 20987, IBM Research Division, 1997.
2. B. D. O. Anderson, N. K. Bose, and E. I. Jury. Output feedback stabilization and related problems-solution via decision methods. IEEE Trans. on Automatic Control, AC-20(1), 1975.
3. J. Armengol, L. Travé-Massuyés, J. Veil, and M. Á. Sainz. Modal interval analysis for error-bounded semiqualitative simulation. In 1r Congrés Català d’lntelligència Artificial, pages 223–231, 1998.
4. Lect Notes Comput Sci;F. Benhamou,1995
5. F. Benhamou, F. Goualard, L. Granvilliers, and J.-F. Puget. Revising hull and box consistency. In Proc. of the 16th Int. Conf. on Logic Programming (ICLP’99), pages 230–244, Las Cruces, USA, 1999. The MIT Press. ISBN 0-262-54104-1.