@misc{indiciae05fd24e53b6b,
  title = {Presentation for DECOVALEX 2019 workshop.},
  author = {Wang, Yifeng},
  year = {2017},
  url = {https://www.osti.gov/biblio/1509796},
  note = {Source identifier: 1509796}
}