Paper Citation Record · LEDGER

On Propositional Program Equivalence (extended abstract)

As of 13 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2507.07480.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.07480 v1

Coverage vector

measured 54 of 54 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T18:50:28.499905Z

measured 54 of 54 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

54 of 54 outbound references displayed

verified exact12
verified fuzzy5
unresolved22
parse uncertain0
malformed identifier11
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 59e7cc21-eeb1-40f8-8393-c2b1e026304c · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:26.791697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9269f6f-60a6-409b-8378-fb4eb721517b · outbound

This paper cites Journal of Logic and Computation p.

On Propositional Program Equivalence (extended abstract) Journal of Logic and Computation p

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:50:29.470061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 259ff604-8a4e-4d66-805d-750f184a7f00 · outbound

This paper cites McGraw-Hill (1970).

On Propositional Program Equivalence (extended abstract) McGraw-Hill (1970)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:50:29.463882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2335c792-7130-4619-9041-e526169dfa37 · outbound

This paper cites In: POPL.

On Propositional Program Equivalence (extended abstract) In: POPL

Reference 4

Resolution: verified exact; doi, observed 2026-08-06T18:50:28.610762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation da0c29d1-a898-48a2-a45f-6243d371676e · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-08-06T18:50:28.604373Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ab02cbad-6e2d-485d-9f05-7e241eb8ac5b · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:50:29.457782Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f3b39577-654d-4514-b268-e6ceb35fc251 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:50:29.452093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8118767e-7b55-4b8d-8556-3889d06f1572 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:50:29.445692Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 4bba95a9-d5c9-4911-a12c-0c32d669e5c0 · outbound

This paper cites Chapman and Hall, Ltd., London (1971).

On Propositional Program Equivalence (extended abstract) Chapman and Hall, Ltd., London (1971)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:50:29.439827Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 57f9a4a8-68a7-441c-a06f-eac45917f1f1 · outbound

This paper cites In: CALCO.

On Propositional Program Equivalence (extended abstract) In: CALCO

Reference 10

Resolution: verified exact; doi, observed 2026-08-06T18:50:28.598131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9e6ed8f4-4227-4187-9e5d-21b1ffca3644 · outbound

This paper cites ACM Trans.

On Propositional Program Equivalence (extended abstract) ACM Trans

Reference 11

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T18:50:29.335571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 65458660-f3fc-4ae8-bd5c-d93c854ecbaa · outbound

This paper cites ACM 11(3), 147–148 (1968).https://doi.org/10.1145/362929.362947.

On Propositional Program Equivalence (extended abstract) ACM 11(3), 147–148 (1968).https://doi.org/10.1145/362929.362947

Reference 12

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T18:50:29.280282Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b53bdc58-e058-422d-9722-5bb9faeaeda8 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:50:29.433391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3fd312a7-421b-485d-aef8-1c3f324546f0 · outbound

This paper cites In: FoSSaCS.

On Propositional Program Equivalence (extended abstract) In: FoSSaCS

Reference 14

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T18:50:29.427023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2b52b5e7-553d-405b-bd69-1d0cdb216bf9 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 15

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T18:50:29.421088Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 26ea4478-46d1-417c-9f6c-baa5fe23b7ad · outbound

This paper cites In: FoSSaCS.

On Propositional Program Equivalence (extended abstract) In: FoSSaCS

Reference 16

Resolution: verified exact; doi, observed 2026-08-06T18:50:28.590813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 26cb6ba1-2113-40ca-b0bb-d217f1a301c3 · outbound

This paper cites In: LICS.

On Propositional Program Equivalence (extended abstract) In: LICS

Reference 17

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T18:50:29.215078Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1bcaf22e-6700-4eee-9372-b1a70951d834 · outbound

This paper cites In: LICS.

On Propositional Program Equivalence (extended abstract) In: LICS

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.421970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec02d70b-d03c-4b03-8d95-faa53172eb29 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:50:29.415072Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2f0f9939-e178-4f1c-b33f-62ec9c64f82c · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:50:29.408929Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f6281567-c509-4e03-9a4d-a1b0fae7f1e7 · outbound

This paper cites In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph On Propositional Program Equivalence (extended abstract) 15 A.

On Propositional Program Equivalence (extended abstract) In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph On Propositional Program Equivalence (extended abstract) 15 A

Reference 21

Resolution: verified exact; doi, observed 2026-08-06T18:50:28.584141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f828e14c-a7c5-4956-a44b-1bfab291c750 · outbound

This paper cites In: FoSSaCS.

On Propositional Program Equivalence (extended abstract) In: FoSSaCS

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.430701Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e9d207e-e09a-496d-84d2-2d74198774b5 · outbound

This paper cites In: FoSSaCS.

On Propositional Program Equivalence (extended abstract) In: FoSSaCS

Reference 23

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T18:50:29.402627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 92761a40-4d91-4314-ac6c-7462c2f3e35e · outbound

This paper cites A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests.

On Propositional Program Equivalence (extended abstract) A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests

Reference 24

Resolution: verified exact; local_arxiv, observed 2026-08-06T18:50:29.096191Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 78916840-439d-4460-b04b-1319c054dbfc · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 25

Resolution: verified exact; raw_fallback, observed 2026-08-06T18:50:29.085293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 48878b88-189c-4da1-8e3a-939aab7b1e18 · outbound

This paper cites Addison-Wesley (1997).

On Propositional Program Equivalence (extended abstract) Addison-Wesley (1997)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:50:29.396187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9db992e5-dccf-4000-a87f-a11c14c5fdc1 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 27

Resolution: malformed identifier; no resolver link, observed 2026-08-06T18:50:28.441690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1694b548-bd14-45b5-b03b-d2a57718c8c0 · outbound

This paper cites In: TACAS.

On Propositional Program Equivalence (extended abstract) In: TACAS

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.443864Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 131be870-917d-4dcd-909b-3da9a2ae59f7 · outbound

This paper cites ACM Trans.

On Propositional Program Equivalence (extended abstract) ACM Trans

Reference 29

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T18:50:28.949022Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e0ffacf3-62ab-4eb0-b70d-5e055c7112de · outbound

This paper cites In: STACS.

On Propositional Program Equivalence (extended abstract) In: STACS

Reference 30

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T18:50:29.389706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e4fb9a5c-3e7c-4f5e-b54c-12a51e464c4b · outbound

This paper cites Matematica Contem- poranea 24, 117–139 (2003).

On Propositional Program Equivalence (extended abstract) Matematica Contem- poranea 24, 117–139 (2003)

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:50:29.382709Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 87f675a6-e355-4f32-9691-f11eb64a769e · outbound

This paper cites In: ICALP.

On Propositional Program Equivalence (extended abstract) In: ICALP

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.452459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ac0f2d5-3064-4919-b2bb-2956d02d6701 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 33

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T18:50:29.376039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 54e9243d-ca25-46e0-b8bc-131b187ac826 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.456455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 647e3b19-dbf8-4a16-85b6-4def01ce95be · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 35

Resolution: verified exact; doi, observed 2026-08-06T18:50:28.562093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9e2e8780-6477-460c-8d8a-8e4b12d71215 · outbound

This paper cites In: ICALP.

On Propositional Program Equivalence (extended abstract) In: ICALP

Reference 36

Resolution: verified exact; doi, observed 2026-08-06T18:50:28.555414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e49ac58c-d072-4420-b39e-e2f8678af625 · outbound

This paper cites In: ICTAC.

On Propositional Program Equivalence (extended abstract) In: ICTAC

Reference 37

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T18:50:29.369735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 01195c10-4284-4291-80f9-0497db9e0f06 · outbound

This paper cites IRE Trans.

On Propositional Program Equivalence (extended abstract) IRE Trans

Reference 38

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T18:50:28.876023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d5564aec-f940-4b6b-b3ed-4bc8efaa538e · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-08-06T18:50:28.548178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation fd93aee4-5810-47d8-a6a4-2ebe290e10e2 · outbound

This paper cites In: POPL.

On Propositional Program Equivalence (extended abstract) In: POPL

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.469518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e404a694-f98f-4f3c-bce1-e212bed5e35e · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:50:29.363295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 055a86e0-01ba-4e66-ab11-64a99e055ccd · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 42

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T18:50:29.356952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 17b063e3-b240-4c0d-ae29-4c13deef121a · outbound

This paper cites In: IJCAR.

On Propositional Program Equivalence (extended abstract) In: IJCAR

Reference 43

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T18:50:29.349970Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d5e501d0-1bd4-4c16-ad89-8eb10e4ce760 · outbound

This paper cites In: ICALP (07 2023).

On Propositional Program Equivalence (extended abstract) In: ICALP (07 2023)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.477980Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cfe69f4-185d-4f29-949a-51ad01b58aa6 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 45

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T18:50:28.818296Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e040b6b3-92f1-4f29-9e77-7ab13296cac0 · outbound

This paper cites In: ICALP.

On Propositional Program Equivalence (extended abstract) In: ICALP

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.482188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05bd3ed6-0cec-464e-a4ed-20c226211f53 · outbound

This paper cites In: MFPS.

On Propositional Program Equivalence (extended abstract) In: MFPS

Reference 47

Resolution: verified exact; doi, observed 2026-08-06T18:50:28.528974Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 174abff6-b996-405c-ad0b-414f6f273864 · outbound

This paper cites Kleene Algebra with Dynamic Tests: Completeness and Complexity.

On Propositional Program Equivalence (extended abstract) Kleene Algebra with Dynamic Tests: Completeness and Complexity

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.486421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8261e34c-cf0f-4cc2-b85a-e3e1a9d997f9 · outbound

This paper cites In: POPL.

On Propositional Program Equivalence (extended abstract) In: POPL

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.488677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 927251d9-fa19-454e-8aba-516c17874526 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.490978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43aa0d9e-849b-46f2-a3d9-6e8898794206 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.493468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69855e6c-9fd2-429c-b0be-d7c63a12f94c · outbound

This paper cites Weighted GKAT: Completeness and Complexity.

On Propositional Program Equivalence (extended abstract) Weighted GKAT: Completeness and Complexity

Reference 52

Resolution: verified exact; local_arxiv, observed 2026-08-06T18:50:28.625064Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 19dec8f3-d976-4093-9dc3-c791bfcc6d89 · outbound

This paper cites an unresolved cited work.

On Propositional Program Equivalence (extended abstract) Unresolved cited work

Reference 53

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:50:29.342773Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 623a06ad-5eb0-4cbd-850d-5614ce281422 · outbound

This paper cites In: POPL.

On Propositional Program Equivalence (extended abstract) In: POPL

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-06T18:50:28.499905Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.