@misc{indiciaebd1086a26f09,
  title = {DECOVALEX-2019 (Task C Final Report)},
  author = {Iwatsuki, T. and Ishibashi, M. and Onoe, H. and Ozaki, Y. and Hagdu, T. and Jove-Colon, C. F. and Kalinina, E. and Wang, Y. and Balvin, A. and Hokr, M. and Landa, J. and Šembera, J. and Zeman, J.},
  year = {2020},
  doi = {10.2172/1762804},
  url = {https://www.osti.gov/biblio/1762804},
  note = {Source identifier: 1762804}
}