Ahmed Bouajjani Peter Habermehl Adam Rogalewicz Tomás Vojnar Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. 52-70 2006 conf/sas/2006 SAS http://dx.doi.org/10.1007/11823230_5 db/conf/sas/sas2006.html#BouajjaniHRV06