Michael J. Almeida: A System for Reasoning with Nonconvex Intervals. TIME 1999: 8-16