@unpublished{Otto2017,
  year = {2017},
  author = {Otto, Martin},
  note = {technical report, 47 pages, arXiv:1709.00031},
  title = {Amalgamation and symmetry: from local to global consistency in the
           finite},
}