@misc{Sabel2017,
  author    = {David Sabel},
  title     = {Rewriting of higher-order-meta-expressions with recursive bindings},
  booktitle = {Frankfurter Informatik-Berichte [; Nr. 2007,1]},
  issn      = {1868-8330},
  institution = {Informatik},
  series    = {Frankfurter Informatik-Berichte},
  number    = {[2017, 1]},
  type      = {workingpaper},
  pages     = {16},
  year        = {2017},
}