@inproceedings{2019_nagele_schett,
  title     = {Blockchain Superoptimizer},
  author    = {Nagele, Julian and Schett, Maria A.},
  booktitle = {Preproceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019)},
  note ={\url{https://arxiv.org/abs/2005.05912}},
  year= 2019
}