petrov_psi06.bbl
\begin{thebibliography}{1}

\bibitem{Nar83}
A.~S. Narinyani.
\newblock Subdefiniteness and basic means of knowledge representation.
\newblock {\em Computers and Artificial Intelligence}, 2(5):443--452, 1983.

\bibitem{cp:neumaier-shcherbina-04}
A.~Neumaier and O.~Shcherbina.
\newblock Safe bounds in linear and mixed-integer programming.
\newblock {\em Journal of Mathematical Programming}, 99:283--296, 2004.

\bibitem{cp:ushakov-99}
D.~Ushakov.
\newblock On local consistency of linear constraints (in {R}ussian).
\newblock {\em Journal of Computation Technology}, 4(4):76--79, 1999.

\bibitem{vH-numerica}
P.~{Van Hentenryck}, L.~Michel, and Y.~Deville.
\newblock {\em Numerica: a Modelling Language for Global Optimization}.
\newblock The MIT Press, Cambridge, MA, 1997.

\end{thebibliography}
