TY  - RPRT
TI  - Time-stamped claim logic
AU  - Rasga, João
AU  - Sernadas, Cristina
AU  - Karafili, Erisa
AU  - Viganò, Luca
PY  - 2020
DO  - 10.1093/jigpal/jzaa001
UR  - https://www.osti.gov/biblio/1605299
ID  - 1605299
ER  -