The Satisfiability Problem in a Separation Logic of Relations.

Nicolas Peltier

Browse the full WoLLIC paper archive.