Laurent Granvilliers Towards Cooperative Interval Narrowing. 18-31 2000 conf/frocos/2000 FroCos db/conf/frocos/frocos2000.html#Granvilliers00