Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T16:59:11.477815Z
Paper Citation Record · LEDGER
An Expressive Trace Logic for Recursive Programs
As of 13 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 1 inbound Pith citation observation for arXiv:2411.13125.
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-12T06:34:41.77262+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-03T01:08:25.593164Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
16 of 16 outbound references displayed
- verified exact3
- verified fuzzy1
- unresolved8
- parse uncertain0
- malformed identifier2
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 1a847ccf-2b33-4779-9e45-ee0bdf0d356d · outbound
This paper cites 13 Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, and Gennady Chugunov.
An Expressive Trace Logic for Recursive Programs 13 Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, and Gennady Chugunov
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:59:11.427460Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e635c6cc-1d95-4a01-9006-9edfa47d4b75 · outbound
This paper cites 20 Leslie Lamport.
An Expressive Trace Logic for Recursive Programs 20 Leslie Lamport
Reference 9
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-12T16:59:11.801581Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8afa65f9-a638-495c-9a5c-8a84fe22ab0d · outbound
This paper cites A modal fixpoint logic with chop.
An Expressive Trace Logic for Recursive Programs A modal fixpoint logic with chop
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T16:59:12.034812Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7e812c5e-7970-4ad7-9ef5-c9b1b3541144 · outbound
This paper cites 29 Gordon D.
An Expressive Trace Logic for Recursive Programs 29 Gordon D
Reference 1976
- Resolution
- verified exact
- doi, observed 2026-08-12T16:59:11.521552Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5a26eeb6-f590-485e-80eb-46ae39aba60f · outbound
This paper cites 21 Martin Lange and Rafał Somla.
An Expressive Trace Logic for Recursive Programs 21 Martin Lange and Rafał Somla
Reference 1994
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:59:11.444840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e91cf461-31c2-4c64-9b9b-788b36f16a99 · outbound
This paper cites 19 Dexter Kozen.
An Expressive Trace Logic for Recursive Programs 19 Dexter Kozen
Reference 1997
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:59:11.436268Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e1740c15-e17b-4a81-bd4b-696b7bfc4d2f · outbound
This paper cites doi:10.1007/3-540-49116-3\_48.
An Expressive Trace Logic for Recursive Programs doi:10.1007/3-540-49116-3\_48
Reference 1999
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:59:11.458331Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a6ac8625-0fa1-4a29-a00d-b686d08f6b0c · outbound
This paper cites 9 Mads Dam and Dilian Gurov.µ-calculus with explicit points and approximations.J.
An Expressive Trace Logic for Recursive Programs 9 Mads Dam and Dilian Gurov.µ-calculus with explicit points and approximations.J
Reference 2000
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-12T16:59:11.941008Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b35e085e-744b-4a78-98f2-ce6a63eb18ac · outbound
This paper cites Trace-based deductive verification.
An Expressive Trace Logic for Recursive Programs Trace-based deductive verification
Reference 2004
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-12T16:59:11.582895Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 08a11457-749c-4640-bd64-a9c8f596112e · outbound
This paper cites IPL.2006.04.019.
An Expressive Trace Logic for Recursive Programs IPL.2006.04.019
Reference 2006
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-12T16:59:11.449057Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7be65d82-6098-4b66-a118-de30dffa54c5 · outbound
This paper cites 2 Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, and Matteo Maffei.
An Expressive Trace Logic for Recursive Programs 2 Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, and Matteo Maffei
Reference 2008
- Resolution
- verified exact
- doi, observed 2026-08-12T16:59:11.605951Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ce7e9850-a880-4cf4-9e5d-a07e60aafd08 · outbound
This paper cites 26 Hanne Riis Nielson and Flemming Nielson.
An Expressive Trace Logic for Recursive Programs 26 Hanne Riis Nielson and Flemming Nielson
Reference 2009
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:59:11.463092Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7fa74b15-aa82-412d-981b-4cf1c754a0c8 · outbound
This paper cites 31 Colin Stirling.
An Expressive Trace Logic for Recursive Programs 31 Colin Stirling
Reference 2013
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:59:11.477815Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b07f2f7-a1a6-4fe7-a12d-74ecf7a10080 · outbound
This paper cites doi:10.23919/FMCAD.2019.8894277.
An Expressive Trace Logic for Recursive Programs doi:10.23919/FMCAD.2019.8894277
Reference 2019
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:59:11.408936Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e818a614-9ca6-4674-b8a1-f364403eab2a · outbound
This paper cites an unresolved cited work.
An Expressive Trace Logic for Recursive Programs Unresolved cited work
Reference 2021
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:59:11.413324Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1ac9069c-0338-4712-9867-9bc2f1654595 · outbound
This paper cites an unresolved cited work.
An Expressive Trace Logic for Recursive Programs Unresolved cited work
Reference 2024
- Resolution
- verified exact
- doi, observed 2026-08-12T16:59:11.559950Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Pith citing papers
Observation 75c17f55-c725-49c1-aae7-457b42e6cc6f · inbound
Weakest Precondition Rules for Programs with Linear Temporal Specifications cites this paper.
Weakest Precondition Rules for Programs with Linear Temporal Specifications An Expressive Trace Logic for Recursive Programs
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T01:08:25.593164Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.