Paper Citation Record · LEDGER

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)

As of 7 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 2 inbound Pith citation observations for arXiv:2602.06934.

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

pith.paper-citation-record.v1
2602.06934 v6

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T03:52:00.453798Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T07:44:30.391209Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

24 of 24 outbound references displayed

verified exact0
verified fuzzy0
unresolved24
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1d1a561e-db95-4eda-99e1-3f0110f0f285 · outbound

This paper cites The Blocklace: A Byzantine-repelling and Universal Conflict-free Replicated Data Type.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) The Blocklace: A Byzantine-repelling and Universal Conflict-free Replicated Data Type

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.378123Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7715ab9-62e7-4d51-8b29-c9a25e47c8c8 · outbound

This paper cites 15Google.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) 15Google

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.392877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 942aca01-962f-4dae-9b4b-ecf33f03fde5 · outbound

This paper cites 45 Ehud Shapiro.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) 45 Ehud Shapiro

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.428507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a2ccbb4-e046-4f8d-89a1-54699568f051 · outbound

This paper cites GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI (Full Version).

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI (Full Version)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.432005Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42de723d-27cc-4704-9f57-1b1d8ce5efc2 · outbound

This paper cites Grassroots Federation: Fair Democratic Governance at Scale.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Grassroots Federation: Fair Democratic Governance at Scale

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.438787Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62e0a1df-8c90-4193-8a75-d6cd535279cf · outbound

This paper cites Conflict-free replicated data types.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Conflict-free replicated data types

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.442380Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6e3e696-5526-4d57-8a67-0b31d4e53207 · outbound

This paper cites Resource-passing concurrent programming.Proceedings of TACS 2001, pages 95–126,.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Resource-passing concurrent programming.Proceedings of TACS 2001, pages 95–126,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.448129Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e729c27-4002-4776-85fa-cdb2af3fba51 · outbound

This paper cites A taste of linear logic.Mathematical Structures in Computer Science, 3(4):367– 392, 1993.doi:10.1017/S0960129500000268.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) A taste of linear logic.Mathematical Structures in Computer Science, 3(4):367– 392, 1993.doi:10.1017/S0960129500000268

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.450837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c08b0441-072d-4847-9e3a-b51ef34daa0b · outbound

This paper cites 60 Philip Wadler.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) 60 Philip Wadler

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.453798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68c96b14-fe38-460a-96a3-625e8dc44ba0 · outbound

This paper cites Grassroots Flash: A Payment System for Grassroots Cryptocurrencies.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Grassroots Flash: A Payment System for Grassroots Cryptocurrencies

Reference 1985

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.399464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5f75cac-be6c-4fd1-9720-146bc9d026e3 · outbound

This paper cites Statically contextualizing large language models with typed holes.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Statically contextualizing large language models with typed holes

Reference 1987

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.385874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71f5a363-ec92-4274-999e-902870d11d58 · outbound

This paper cites Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks

Reference 1989

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.421625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation caad2572-1ab9-4bac-9765-35759692a9b6 · outbound

This paper cites 40 Ehud Shapiro.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) 40 Ehud Shapiro

Reference 1991

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.418596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6d4178e-2c08-4c94-8fad-93811c3427d3 · outbound

This paper cites Lynch and Mark R.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Lynch and Mark R

Reference 1994

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.406154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55ba1436-fa70-451f-8790-cc75fc342a40 · outbound

This paper cites 31 NancyA.LynchandFritsW.Vaandrager.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) 31 NancyA.LynchandFritsW.Vaandrager

Reference 1995

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.409093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99ed5c97-cbf2-433a-9325-111fcbfb5c7d · outbound

This paper cites 4 Henry G.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) 4 Henry G

Reference 2010

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.382388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a96c8ace-f3e1-471b-82c4-e43597fdfbb2 · outbound

This paper cites Higher-order processes, functions, and sessions: A monadic integration.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Higher-order processes, functions, and sessions: A monadic integration

Reference 2011

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.445148Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9b7d83a-545f-4317-b505-10e1cde339c8 · outbound

This paper cites 37 Klaas Pruiksma and Frank Pfenning.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) 37 Klaas Pruiksma and Frank Pfenning

Reference 2012

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.415447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fdbafdf-28fa-4028-819f-d987995a74d4 · outbound

This paper cites 10 Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) 10 Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.389473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbe607ae-4ffa-48e0-bc15-d8121e15a34f · outbound

This paper cites Grassroots distributed systems: Concept, examples, implementation and applications (brief announcement).

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Grassroots distributed systems: Concept, examples, implementation and applications (brief announcement)

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.425296Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6b4eb19-492a-47c0-930d-28d342d80006 · outbound

This paper cites Practical type inference based on success typings.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Practical type inference based on success typings

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.402839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a52495c-448e-4f4b-b3f1-1b4789c94897 · outbound

This paper cites Herlihy and Jeannette M.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Herlihy and Jeannette M

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.396186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a016060f-7cda-4a9d-8972-f7f70030f5f2 · outbound

This paper cites Type-Constrained Code Generation with Language Models.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) Type-Constrained Code Generation with Language Models

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.412022Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6824b003-dd93-476f-af9e-55681c2a2112 · outbound

This paper cites doi: 10.1145/3772290.3772309.

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version) doi: 10.1145/3772290.3772309

Reference 2026

Resolution: unresolved; no resolver link, observed 2026-08-03T03:52:00.435717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 4feace20-db50-491c-854b-57e5f80047d4 · inbound

Volition Elicitation: Operational Semantics for People and Their Machines cites this paper.

Volition Elicitation: Operational Semantics for People and Their Machines Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:30.391209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 735c7cf7-63d3-4dc5-90d9-e37433282d39 · inbound

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI cites this paper.

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T08:19:39.176591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.