@TechReport{MathejaJansenNoll15,
  author      = {Christoph Matheja and Christina Jansen and Thomas Noll},
  title       = {Tree-like Grammars and Separation Logic},
  institution = {RWTH Aachen},
  keywords    = {Separation Logic, Hyperedge Replacement Grammars, Heap Abstraction, Entailment Checking},
  year        = {2015},
  number      = {AIB-2015-12},
  month       = {September},
  url         = {http://aib.informatik.rwth-aachen.de/2015/2015-12.pdf}
}