@misc{indiciae58a8fc569094,
  title = {Time-stamped claim logic},
  author = {Rasga, João and Sernadas, Cristina and Karafili, Erisa and Viganò, Luca},
  year = {2020},
  doi = {10.1093/jigpal/jzaa001},
  url = {https://www.osti.gov/biblio/1605299},
  note = {Source identifier: 1605299}
}