Recoverable Identifier

arXiv:2605.18285 · detector doi_compliance · incontrovertible · 2026-05-20 00:02:58.653787+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.4230/LIPIcs.FSCD.2022.30.24) was visible in the surrounding text but could not be confirmed against doi.org as printed.

Paper page Integrity report arXiv Try DOI

Evidence text

arXiv:1908.07021.doi:10.1016/ j.aim.2020.107239. 23 Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat. Stateful structural operational semantics. In Amy P. Felty, editor,7th International Conference on Formal Structures for Computation and Deduction, FSCD’22, volume 228 ofLIPIcs, pages 30:1–30:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.doi:10.4230/LIPIcs. FSCD.2022.30. 24 Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat. Towards a higher-order mathematical operational semantics. In50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023), volume 7 ofProc. ACM Program. Lang. ACM, 2023.doi:10.1145/3571215. 25 Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat. Bialgeb- raic reasoning on stateful languages,

Evidence payload

{
  "printed_excerpt": "arXiv:1908.07021.doi:10.1016/ j.aim.2020.107239. 23 Sergey Goncharov, Stefan Milius, Lutz Schr\u00f6der, Stelios Tsampas, and Henning Urbat. Stateful structural operational semantics. In Amy P. Felty, editor,7th International Conference on Forma",
  "reconstructed_doi": "10.4230/LIPIcs.FSCD.2022.30.24",
  "ref_index": 9,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}