Shafi Goldwasser, Ofer Grossman, Dhiraj Holden. Pseudo-Deterministic Proofs. Electronic Colloquium on Computational Complexity (ECCC), 24:105, 2017. [doi]
@article{GoldwasserGH17,
title = {Pseudo-Deterministic Proofs},
author = {Shafi Goldwasser and Ofer Grossman and Dhiraj Holden},
year = {2017},
url = {https://eccc.weizmann.ac.il/report/2017/105},
researchr = {https://researchr.org/publication/GoldwasserGH17},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {24},
pages = {105},
}