Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin. Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Science of Computer Programming, 77(9):1006-1036, 2012. [doi]
Abstract is missing.