The Logic of Separation Logic: Models and Proofs.

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

Browse the full TABLEAUX paper archive.