Symbolic localization reduction with reconstruction layering and backtrackin (2002)

by S Barner, D Geist, A Gringauze
Venue:In Conference on Computer-Aided Verification