Paper Citation Record · LEDGER

An instance of FreeCHR with refined operational semantics

As of 8 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2505.22155.

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

pith.paper-citation-record.v1
2505.22155 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:23:58.133680Z

measured 38 of 38 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T00:26:04.751159Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-07T06:16:28.064256Z

Reference resolution

37 of 37 outbound references displayed

verified exact0
verified fuzzy29
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 76386436-36df-4b58-b26d-3ac8dde881e5 · outbound

This paper cites JACK: A Java Constraint Kit.

An instance of FreeCHR with refined operational semantics JACK: A Java Constraint Kit

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:05.626148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0b2552bb-0d0c-42a6-a9a1-8e575765b8ff · outbound

This paper cites University course timetabling using constraint handling rules.

An instance of FreeCHR with refined operational semantics University course timetabling using constraint handling rules

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:05.480779Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 236b9b7d-de06-4775-976b-25f5cc7df065 · outbound

This paper cites CHR++: An efficient CHR system in C++ with don’t know non-determinism.

An instance of FreeCHR with refined operational semantics CHR++: An efficient CHR system in C++ with don’t know non-determinism

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:05.301330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0b442299-a8b1-444f-838a-c496022c723b · outbound

This paper cites Byrd.Relational Programming in miniKanren: Techniques, Applications, and Implementations.

An instance of FreeCHR with refined operational semantics Byrd.Relational Programming in miniKanren: Techniques, Applications, and Implementations

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:05.076131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b062a986-cfac-4469-adff-232b601d3d32 · outbound

This paper cites Finally Tagless, Partially Evaluated.

An instance of FreeCHR with refined operational semantics Finally Tagless, Partially Evaluated

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:04.904066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f3b9ea7f-75cb-443c-90ba-ec642b64c169 · outbound

This paper cites an unresolved cited work.

An instance of FreeCHR with refined operational semantics Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:04.719510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ca244d4c-565d-4b7a-ad93-f359d653ff75 · outbound

This paper cites an unresolved cited work.

An instance of FreeCHR with refined operational semantics Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:04.496990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1c80662c-bd5b-4e52-bf38-87a1663fd357 · outbound

This paper cites an unresolved cited work.

An instance of FreeCHR with refined operational semantics Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:03.977066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f6a1e544-38d4-4afb-860d-aaddf67eae51 · outbound

This paper cites PhD thesis, University of Melbourne, Victoria, Australia, 2005.

An instance of FreeCHR with refined operational semantics PhD thesis, University of Melbourne, Victoria, Australia, 2005

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:03.862759Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1366c401-b9ed-47eb-9ff9-c62a93dd8d45 · outbound

This paper cites Duck, Peter J.

An instance of FreeCHR with refined operational semantics Duck, Peter J

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:03.730717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e1cd5d33-f716-4946-b9c2-b02e005a114d · outbound

This paper cites Complete Propagation Rules for Lexicographic Order Con- straints over Arbitrary Domains.

An instance of FreeCHR with refined operational semantics Complete Propagation Rules for Lexicographic Order Con- straints over Arbitrary Domains

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:03.548081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ce2835d0-ef52-45f1-b7ed-5b5b14804ebe · outbound

This paper cites Cambridge University Press, Cam- bridge, U.K.

An instance of FreeCHR with refined operational semantics Cambridge University Press, Cam- bridge, U.K

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:03.320425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e746e663-848f-4902-a0fc-9e0f9e4a97b2 · outbound

This paper cites an unresolved cited work.

An instance of FreeCHR with refined operational semantics Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:03.118549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3f18d5e3-4a61-4fcb-9919-b3cb3932867f · outbound

This paper cites BoD, ISBN 978-3-7693- 7633-3, 2025.

An instance of FreeCHR with refined operational semantics BoD, ISBN 978-3-7693- 7633-3, 2025

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:02.910605Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5b2c1964-a486-4667-afb5-d9610d97885d · outbound

This paper cites A Decidable Confluence Test for Cognitive Models in ACT-R.

An instance of FreeCHR with refined operational semantics A Decidable Confluence Test for Cognitive Models in ACT-R

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:02.709864Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1047b59f-1b27-460b-b61c-640267d6159f · outbound

This paper cites CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry.

An instance of FreeCHR with refined operational semantics CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:02.549757Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d7dc8212-83a7-4cab-b9d2-584f3f93820e · outbound

This paper cites Modular domain-specific language com- ponents in scala.

An instance of FreeCHR with refined operational semantics Modular domain-specific language com- ponents in scala

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:02.377270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 43f3c86f-54cd-4343-bc6e-b2f263b9ab29 · outbound

This paper cites Poly- morphic embedding of dsls.

An instance of FreeCHR with refined operational semantics Poly- morphic embedding of dsls

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:02.183732Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1cac21f9-02d3-4512-8ab9-a57e65b45d03 · outbound

This paper cites Compiling Constraint Handling Rules.

An instance of FreeCHR with refined operational semantics Compiling Constraint Handling Rules

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:01.983682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 77d63355-0ca7-4df6-80ec-9f1d8a22421b · outbound

This paper cites A prolog constraint handling rules compiler and runtime system.

An instance of FreeCHR with refined operational semantics A prolog constraint handling rules compiler and runtime system

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:01.768611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 41c951d4-85f8-4842-b465-25143a9c22fe · outbound

This paper cites an unresolved cited work.

An instance of FreeCHR with refined operational semantics Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:01.597664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4566c47f-57df-4895-9891-fa3970ccf916 · outbound

This paper cites Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java, August 2013.

An instance of FreeCHR with refined operational semantics Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java, August 2013

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:01.427998Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2447db75-4ebc-4ee2-9f61-33bd99c3de80 · outbound

This paper cites Initial Algebra Semantics Is Enough! In Si- mona Ronchi Della Rocca, editor,TLCA ’07, Lecture Notes in Computer Science, pages 207–222, Berlin, Heidelberg, 2007.

An instance of FreeCHR with refined operational semantics Initial Algebra Semantics Is Enough! In Si- mona Ronchi Della Rocca, editor,TLCA ’07, Lecture Notes in Computer Science, pages 207–222, Berlin, Heidelberg, 2007

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:01.256651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5c148101-f321-4fd7-9c0a-e9f6deb2d42d · outbound

This paper cites Lam and Martin Sulzmann.

An instance of FreeCHR with refined operational semantics Lam and Martin Sulzmann

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:01.015256Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 207bf528-c8b4-4ef0-8f31-e5e19399c303 · outbound

This paper cites an unresolved cited work.

An instance of FreeCHR with refined operational semantics Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:00.832621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f5c65ae7-8836-4497-8e26-6ae2b85d4713 · outbound

This paper cites CHR.js: A CHR Implementa- tion in JavaScript.

An instance of FreeCHR with refined operational semantics CHR.js: A CHR Implementa- tion in JavaScript

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:00.656360Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5d4ab54f-e057-4927-a65b-77a569c7133b · outbound

This paper cites FreeCHR: An Algebraic Framework for CHR-Embeddings.

An instance of FreeCHR with refined operational semantics FreeCHR: An Algebraic Framework for CHR-Embeddings

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:00.455687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8b40c82c-9fea-4299-990b-5e35777f9cd8 · outbound

This paper cites Certified Seman- tics for Relational Programming.

An instance of FreeCHR with refined operational semantics Certified Seman- tics for Relational Programming

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:24:00.293654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5bc26932-4bd9-464f-9850-3cb328acfe28 · outbound

This paper cites an unresolved cited work.

An instance of FreeCHR with refined operational semantics Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:24:00.062151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0a329eff-9e93-4471-9b6b-ed19788700dd · outbound

This paper cites As time goes by: Constraint Handling Rules: A survey of CHR research from 1998 to 2007.

An instance of FreeCHR with refined operational semantics As time goes by: Constraint Handling Rules: A survey of CHR research from 1998 to 2007

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:59.841415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 340234c6-aafd-43a2-9240-1022a02f2509 · outbound

This paper cites Reasoning about Actions with CHRs and Finite Domain Constraints.

An instance of FreeCHR with refined operational semantics Reasoning about Actions with CHRs and Finite Domain Constraints

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:59.572795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2eafd54a-a313-406a-92d7-e0a0eddc1ae4 · outbound

This paper cites FLUX: A logic programming method for reasoning agents.

An instance of FreeCHR with refined operational semantics FLUX: A logic programming method for reasoning agents

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:59.392422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 31a91dde-14eb-487e-bc45-6bf071d41c8d · outbound

This paper cites Efficient Lazy Evaluation of Rule-Based Programs.

An instance of FreeCHR with refined operational semantics Efficient Lazy Evaluation of Rule-Based Programs

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:59.208440Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2bc4ed5c-b739-4933-8c58-669cc522c7e4 · outbound

This paper cites an unresolved cited work.

An instance of FreeCHR with refined operational semantics Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:23:58.992225Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9567d525-bbf3-4137-abf1-d008920d68d3 · outbound

This paper cites CHR for Imperative Host Languages.

An instance of FreeCHR with refined operational semantics CHR for Imperative Host Languages

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:58.786093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 20924666-2ebf-49d6-a09b-97395841c6b2 · outbound

This paper cites Bachelor thesis, Universität Ulm, June 2022.

An instance of FreeCHR with refined operational semantics Bachelor thesis, Universität Ulm, June 2022

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:58.575285Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1112f098-0ed4-4c98-b64c-3920b0eeb975 · outbound

This paper cites CCHR: The fastest CHR Imple- mentation, in C.

An instance of FreeCHR with refined operational semantics CCHR: The fastest CHR Imple- mentation, in C

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:58.352201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

Observation f003dde4-5ee3-477f-87f5-ece5be7fff81 · inbound

Optimized Execution of FreeCHR cites this paper.

Optimized Execution of FreeCHR An instance of FreeCHR with refined operational semantics

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-07T00:26:05.310975Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.