Automated Theorem Proving for Assertions in Separation Logic with All Connectives.

Zhe Hou, Rajeev Gor, Alwen Tiu

Browse the full CADE paper archive.