TY  - RPRT
TI  - On Automated Lemma Generation for Separation Logic with Inductive Definitions
AU  - Constantin Enea
AU  - Mihaela Sighireanu
AU  - Zhilin Wu
PY  - 2015
UR  - https://arxiv.org/abs/1507.05581
ID  - 1507.05581
ER  -