"Efficient Decision Procedures for Heaps Using STRAND."

P. Madhusudan, Xiaokang Qiu (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics