Implied Set Closure and Its Application to Memory Consistency Verification. - Surender Baswana; Shashank K. Mehta; Vishal Powar (CAV, 2008)