Efficient Decision Procedures for Heaps Using STRAND.

P. Madhusudan, Xiaokang Qiu

Browse the full SAS paper archive.