Paper Citation Record · LEDGER

RE-oriented Model Development with LLM Support and Deduction-based Verification

As of 10 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2506.08606.

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

pith.paper-citation-record.v1
2506.08606 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:14:34.201099Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

34 of 34 outbound references displayed

verified exact0
verified fuzzy29
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 595408f5-0d06-4c48-9097-e3434a64e802 · outbound

This paper cites Aho, Monica S.

RE-oriented Model Development with LLM Support and Deduction-based Verification Aho, Monica S

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.772583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0fa2786d-ce88-4bf7-bbb6-6d0bebd548f4 · outbound

This paper cites Schneider.

RE-oriented Model Development with LLM Support and Deduction-based Verification Schneider

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.757193Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 40ff3b65-88e7-4b23-9555-49caf1a40700 · outbound

This paper cites Website for ANTLR, 2023.

RE-oriented Model Development with LLM Support and Deduction-based Verification Website for ANTLR, 2023

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.741051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5010ca1f-952d-4404-a58d-5ccb5119480c · outbound

This paper cites Integrating uml activity diagrams with tem- poral logic expressions.

RE-oriented Model Development with LLM Support and Deduction-based Verification Integrating uml activity diagrams with tem- poral logic expressions

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.726610Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f02a0366-58f7-4369-8c88-f4dd2ef16f8d · outbound

This paper cites Autili, P.

RE-oriented Model Development with LLM Support and Deduction-based Verification Autili, P

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.710275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3746d457-4bc6-4699-a600-99898eb3dab8 · outbound

This paper cites Merging of use case models: Semantic foundations.

RE-oriented Model Development with LLM Support and Deduction-based Verification Merging of use case models: Semantic foundations

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.694313Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8eb50db3-05ad-4819-adbc-f4aeccf06be2 · outbound

This paper cites Berryman and A.

RE-oriented Model Development with LLM Support and Deduction-based Verification Berryman and A

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.679403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cbfe0697-04a9-421f-92c5-f1425dba4990 · outbound

This paper cites On the role of logic and algebra in software engineering.

RE-oriented Model Development with LLM Support and Deduction-based Verification On the role of logic and algebra in software engineering

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.663513Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4fbadb44-444b-4364-afc3-9b9440dcc3a0 · outbound

This paper cites Carrillo de Gea, Joaquín Nicolás, José L.

RE-oriented Model Development with LLM Support and Deduction-based Verification Carrillo de Gea, Joaquín Nicolás, José L

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.648182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 560c0618-5844-47db-a299-77846858eef0 · outbound

This paper cites Clarke, J.M.

RE-oriented Model Development with LLM Support and Deduction-based Verification Clarke, J.M

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.632062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7585df38-04cc-419f-80d8-a678176b23fc · outbound

This paper cites Temporal and modal logic.

RE-oriented Model Development with LLM Support and Deduction-based Verification Temporal and modal logic

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.615035Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5543d823-3c8c-420a-8782-402207a43713 · outbound

This paper cites an unresolved cited work.

RE-oriented Model Development with LLM Support and Deduction-based Verification Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:14:34.599150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 17208b48-70d5-48b9-8872-988aac248b8c · outbound

This paper cites Gomes, Henry A.

RE-oriented Model Development with LLM Support and Deduction-based Verification Gomes, Henry A

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.582941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 344e80aa-7b30-44cd-a481-a439109a2092 · outbound

This paper cites The international SAT competitions, web page.

RE-oriented Model Development with LLM Support and Deduction-based Verification The international SAT competitions, web page

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.567239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f136b6d0-bce2-49f0-8c0c-f8664c9c68cf · outbound

This paper cites Hopcroft, Rajeev Motwani, and Jeffrey D.

RE-oriented Model Development with LLM Support and Deduction-based Verification Hopcroft, Rajeev Motwani, and Jeffrey D

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.551520Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2be3b509-5e84-4c69-8adf-6c3d4058acbf · outbound

This paper cites an unresolved cited work.

RE-oriented Model Development with LLM Support and Deduction-based Verification Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:14:34.534470Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c0896d62-2aa6-4d1b-9ea3-c936f0db1fd2 · outbound

This paper cites InKreSAT: Modal reasoning via incre- mental reduction to SAT.

RE-oriented Model Development with LLM Support and Deduction-based Verification InKreSAT: Modal reasoning via incre- mental reduction to SAT

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.519128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c3181766-55b4-4749-aa53-e46f9e0eaf83 · outbound

This paper cites Bibliotheca Math- ematica.

RE-oriented Model Development with LLM Support and Deduction-based Verification Bibliotheca Math- ematica

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.503300Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2658b767-7334-43c1-ba6e-5b32fcdbd821 · outbound

This paper cites an unresolved cited work.

RE-oriented Model Development with LLM Support and Deduction-based Verification Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:14:34.485734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 55dcfe8f-614b-40bd-af68-1dad1ab503fe · outbound

This paper cites Verify- ing data integration agents with deduction-based models.

RE-oriented Model Development with LLM Support and Deduction-based Verification Verify- ing data integration agents with deduction-based models

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.468182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7861fb24-3b47-4d88-b85d-6aae9e009dee · outbound

This paper cites Verification of archimate process spec- ifications based on deductive temporal reasoning.

RE-oriented Model Development with LLM Support and Deduction-based Verification Verification of archimate process spec- ifications based on deductive temporal reasoning

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.452238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 72f765b3-b51c-43e1-986b-fba5b77e4daf · outbound

This paper cites Automatic generation of logical spec- ifications for behavioural models.

RE-oriented Model Development with LLM Support and Deduction-based Verification Automatic generation of logical spec- ifications for behavioural models

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.435510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c4db3d0f-dc8d-4311-b8c7-a84fb7a02610 · outbound

This paper cites Springer-Verlag New York, Inc., 1992.

RE-oriented Model Development with LLM Support and Deduction-based Verification Springer-Verlag New York, Inc., 1992

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.420369Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3bfced1a-aa1d-4a82-a004-55ff918a6a5a · outbound

This paper cites When logic meets engineering: Introduction to logical issues in the history and philosophy of computer science.

RE-oriented Model Development with LLM Support and Deduction-based Verification When logic meets engineering: Introduction to logical issues in the history and philosophy of computer science

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.404050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7b151aa8-a3a5-4e6f-b331-2e0c9c3e2c42 · outbound

This paper cites John Wiley & Sons, 2003.

RE-oriented Model Development with LLM Support and Deduction-based Verification John Wiley & Sons, 2003

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.387167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1f398e68-e0ac-42f4-bf39-47dcd11a450b · outbound

This paper cites The design and implementation of vampire.AI Commun., 15(2,3):91–110, aug 2002.

RE-oriented Model Development with LLM Support and Deduction-based Verification The design and implementation of vampire.AI Commun., 15(2,3):91–110, aug 2002

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.371383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7f472408-1783-44af-88fc-a051cb02d84e · outbound

This paper cites an unresolved cited work.

RE-oriented Model Development with LLM Support and Deduction-based Verification Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:14:34.353808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d81d5374-6c7f-4dee-be5e-1a8b6d5cd40a · outbound

This paper cites E – a brainiac theorem prover.Journal of AI Communi- cations, 15(2,3):111–126, aug 2002.

RE-oriented Model Development with LLM Support and Deduction-based Verification E – a brainiac theorem prover.Journal of AI Communi- cations, 15(2,3):111–126, aug 2002

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.339534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation af9f074b-2085-430b-a792-bf9f60727b22 · outbound

This paper cites Verified system developmentwiththeautofocustoolchain.

RE-oriented Model Development with LLM Support and Deduction-based Verification Verified system developmentwiththeautofocustoolchain

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.323100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 610c6a4f-f2d8-443a-8ca1-09ab68e301bd · outbound

This paper cites The 10th ijcar automated theorem proving system compe- tition – casc-j10.AI Commun., 34(2):163–177, jan 2021.

RE-oriented Model Development with LLM Support and Deduction-based Verification The 10th ijcar automated theorem proving system compe- tition – casc-j10.AI Commun., 34(2):163–177, jan 2021

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.304549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0fcee3b5-b79b-4390-bf03-5fe72359fb26 · outbound

This paper cites an unresolved cited work.

RE-oriented Model Development with LLM Support and Deduction-based Verification Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:14:34.289787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation db878bcb-ed50-4460-9ae5-b85facc00a9f · outbound

This paper cites Chi, Quoc V.

RE-oriented Model Development with LLM Support and Deduction-based Verification Chi, Quoc V

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.272834Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6cd20a1c-501e-47ca-bca3-26f3ac145a31 · outbound

This paper cites Better algorithms for analyzing and enacting declar- ative workflow languages using LTL.

RE-oriented Model Development with LLM Support and Deduction-based Verification Better algorithms for analyzing and enacting declar- ative workflow languages using LTL

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.257676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 54491107-b90b-4b1c-b0df-4f86715370c8 · outbound

This paper cites Briand, and Yvan Labiche.

RE-oriented Model Development with LLM Support and Deduction-based Verification Briand, and Yvan Labiche

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:14:34.241310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

No inbound Pith citation observations are available.