Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T13:23:58.133680Z
Paper Citation Record · LEDGER
An instance of FreeCHR with refined operational semantics
As of 9 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T00:26:04.751159Z
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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+00:00.