@inproceedings{IS8d,
title = {An Entailment Checker for Separation Logic with Inductive Definitions },
author = {Iosif, Radu and Serban, Cristina},
year = {2018},
booktitle = {18th International Workshop on Automated Verification of Critical Systems, AVOCS'18},
team = {RSD, axe_Mohytos},
}
