Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-08T00:53:28.874373Z
Paper Citation Record · LEDGER
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction
As of 11 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2608.03274.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
31 of 31 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved31
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 70bfc7d1-325e-445e-b164-d217f5afee7b · outbound
This paper cites Theoretical Computer Science , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Theoretical Computer Science , volume=
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:27.923787Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ee666938-4132-42a5-bcc4-4768696262da · outbound
This paper cites Study of galaxy morphology and merging time of two interacting galaxies under different initial rotation and orientation configurations.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Study of galaxy morphology and merging time of two interacting galaxies under different initial rotation and orientation configurations
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:27.929750Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ed4d973d-ae20-414b-90f4-ffeb596a50e5 · outbound
This paper cites International Conference on Logic for Programming Artificial Intelligence and Reasoning , pages=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction International Conference on Logic for Programming Artificial Intelligence and Reasoning , pages=
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:27.999479Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f5be3f2-abeb-40e2-803d-d984ce17de01 · outbound
This paper cites Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.074215Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80469a7b-22eb-47b8-8d5b-4148cc0e9e45 · outbound
This paper cites International Symposium on Logic-Based Program Synthesis and Transformation , pages=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction International Symposium on Logic-Based Program Synthesis and Transformation , pages=
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.178203Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 33908581-9d94-484f-84bb-bff1e32a35f6 · outbound
This paper cites IEEE Transactions on information theory , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction IEEE Transactions on information theory , volume=
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.263685Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c449a183-3348-45db-87f8-760d64709f4c · outbound
This paper cites Foundations and Trends.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Foundations and Trends
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.323383Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c1ec95ce-928e-498f-9a47-dcf691c489a2 · outbound
This paper cites Asian Symposium on Programming Languages and Systems , pages=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Asian Symposium on Programming Languages and Systems , pages=
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.360038Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d285a67d-74eb-4688-8523-f0f9f78d07f3 · outbound
This paper cites International Conference on Computer Aided Verification , pages=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction International Conference on Computer Aided Verification , pages=
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.397299Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e6e1d39-d47e-47f3-b65c-ad3da63c4314 · outbound
This paper cites International conference on computer aided verification , pages=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction International conference on computer aided verification , pages=
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.402619Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2cc42ed1-7e08-44c3-8681-491dcec7cdde · outbound
This paper cites ACM Transactions On Computational Logic (TOCL) , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction ACM Transactions On Computational Logic (TOCL) , volume=
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.407929Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fc5fac81-a378-4c33-b595-b136f289c34b · outbound
This paper cites Journal of Automated Reasoning , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Journal of Automated Reasoning , volume=
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.413682Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 064cc01c-f00d-41f3-89e8-fb4f8f737ca0 · outbound
This paper cites Theoretical Computer Science , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Theoretical Computer Science , volume=
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.419059Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63d3665d-686b-49fc-8b68-943b67acab69 · outbound
This paper cites International Conference on Rewriting Techniques and Applications , pages=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction International Conference on Rewriting Techniques and Applications , pages=
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.424131Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ec0ac4b7-dad5-4922-a11b-f3c0a5017b16 · outbound
This paper cites Semigroup Forum , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Semigroup Forum , volume=
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.429087Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e6764e35-1c9b-442b-a87d-afc019301ee7 · outbound
This paper cites Theoretical Computer Science , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Theoretical Computer Science , volume=
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.434102Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4002e223-52b0-4df9-9c25-d7d582a524f8 · outbound
This paper cites Semigroup Forum , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Semigroup Forum , volume=
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.439383Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ac4eb2a4-f248-4800-a2c8-ba850d41d5a1 · outbound
This paper cites Acta Informatica , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Acta Informatica , volume=
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.444573Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e8efeec-6aa1-4892-81f8-482700e877eb · outbound
This paper cites 2012 , publisher=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction 2012 , publisher=
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.449947Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f5813aab-889a-4881-8d15-e37a81ccbd1d · outbound
This paper cites Advances in algorithms, languages, and complexity , pages=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Advances in algorithms, languages, and complexity , pages=
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.454778Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 893f4a4b-6df9-4fa4-92e5-7f6985697944 · outbound
This paper cites On Problems Dual to Unification: The String-Rewriting Case.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction On Problems Dual to Unification: The String-Rewriting Case
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.459984Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 86a327a5-a65d-402b-85b1-4f708bb385f4 · outbound
This paper cites Theoretical computer science , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Theoretical computer science , volume=
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.465026Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 98eb5b46-d7c6-4e58-a7f3-71e4653732ad · outbound
This paper cites Theoretical computer science , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Theoretical computer science , volume=
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.470005Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 04eeb08a-84f0-4494-8633-0b5860b05c56 · outbound
This paper cites 2021 IEEE symposium on security and privacy (SP) , pages=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction 2021 IEEE symposium on security and privacy (SP) , pages=
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.538739Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 53dd9d3c-35a9-4b3d-83f3-61b41dea3717 · outbound
This paper cites Journal of Computer Security , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Journal of Computer Security , volume=
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.630263Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e8f862a6-b67c-4e7e-b9a7-bd595ad332ae · outbound
This paper cites 1998 , publisher=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction 1998 , publisher=
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.669390Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b95142d2-1b23-4931-806b-bd0d23b49ef7 · outbound
This paper cites String-Rewriting Systems , pages=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction String-Rewriting Systems , pages=
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.705906Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc2d7176-0853-4505-9335-3c4057e32927 · outbound
This paper cites 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026) , pages=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026) , pages=
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.755288Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3e46c216-4235-4846-aa01-5c823dcdff09 · outbound
This paper cites Journal of the ACM (JACM) , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Journal of the ACM (JACM) , volume=
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.779066Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 847c64de-926f-4f5e-86f6-28414710f560 · outbound
This paper cites International Journal of Algebra and Computation , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction International Journal of Algebra and Computation , volume=
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.824964Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation df4f5d4e-8efd-4df5-b7ee-7e40658ac25e · outbound
This paper cites Discrete Mathematics & Theoretical Computer Science , volume=.
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction Discrete Mathematics & Theoretical Computer Science , volume=
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T00:53:28.874373Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.