Recoverable Identifier

arXiv:2604.26364 · detector doi_compliance · incontrovertible · 2026-05-19 20:13:15.428352+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/S0890−5401(03) 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

[MR03] F. Moller and A.M. Rabinovich. Counting on CTL*: On the Expressive Power of Monadic Path Logic. 184(1):147–159, 2003.path(doi: 10.1016/S0890−5401(03)00104−4). 38 M. BENERECETTI, D. DELLA MONICA, A. MATTEO, F. MOGAVERO, AND G. PUPPIS [MSS86] D.E. Muller, A. Saoudi, and P.E. Schupp. Alternating Automata, the Weak Monadic The- ory of Trees and its Complexity. InICALP’86, LNCS 226, pages 275–283. Springer,

Evidence payload

{
  "printed_excerpt": "[MR03] F. Moller and A.M. Rabinovich. Counting on CTL*: On the Expressive Power of Monadic Path Logic. 184(1):147\u2013159, 2003.path(doi: 10.1016/S0890\u22125401(03)00104\u22124). 38 M. BENERECETTI, D. DELLA MONICA, A. MATTEO, F. MOGAVERO, AND G. PUPPIS ",
  "reconstructed_doi": "10.1016/S0890\u22125401(03",
  "ref_index": 18,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}