Interval methods that are guaranteed to underestimate (and the resulting new justification of Kaucher arithmetic). - Vladik Kreinovich; Vyacheslav M. Nesterov; Nina A. Zheludeva (Reliab. Comput., 1996)