\input zb-basic
\input zb-ioport
\iteman{io-port 70982860}
\itemau{Trombettoni, Gilles; Araya, Ignacio; Neveu, Bertrand; Chabert, Gilles}
\itemti{Inner regions and interval linearizations for global optimization}
\itemso{AAAI (2011).}
\itemcc{}
\itemut{}
\itemli{http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3649}
\end