Hob: a tool for verifying data structure consistency (2007)

by Patrick Lam, Viktor Kuncak, Martin Rinard
Venue:In CC, 2005. Mark Marron, Darko Stefanovic, Manuel Hermenegildo, and Deepak