Gilles Geeraerts Jean-François Raskin Laurent Van Begin Expand, Enlarge and Check... Made Efficient. 394-407 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_38 db/conf/cav/cav2005.html#GeeraertsRB05