Yassine Lakhnech Saddek Bensalem Sergey Berezin Sam Owre Incremental Verification by Abstraction. 98-112 2001 conf/tacas/2001 TACAS http://link.springer.de/link/service/series/0558/bibs/2031/20310098.htm db/conf/tacas/tacas2001.html#LakhnechBBO01