@inproceedings{Kimmelmann2013,
  author    = {Vadim Kimmelmann},
  title     = {Doubling in RSL and NGT : a pragmatic account0F*},
  year      = {2013},
}