Paper Citation Record · LEDGER

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB

As of 7 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2607.21191.

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

pith.paper-citation-record.v1
2607.21191 v1

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T08:14:31.781257Z

measured 30 of 30 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 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

30 of 30 outbound references displayed

verified exact10
verified fuzzy0
unresolved14
parse uncertain0
malformed identifier5
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f710e9ef-606d-4796-8379-5cdc0ef442e0 · outbound

This paper cites Cambridge University Press.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Cambridge University Press

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:27.789656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6ee59d8-547e-4daa-a1e7-d9ea7c34d21e · outbound

This paper cites Cambridge Univer- sity Press.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Cambridge Univer- sity Press

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:27.928402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25ecd788-97c4-416d-ac66-5b372030cc1a · outbound

This paper cites an unresolved cited work.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:28.100366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76a9c26d-cceb-4346-90c8-dab4dc46beb3 · outbound

This paper cites Dedukti: a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Dedukti: a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory

Reference 4

Resolution: metadata mismatch; local_arxiv, observed 2026-08-01T08:19:47.171639Z

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 8a593157-06ba-4b6b-91f4-e8c654d94d88 · outbound

This paper cites an unresolved cited work.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:28.334109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30d6bf73-091f-49db-8117-95ee1b2deab8 · outbound

This paper cites In: Proceedings FMICS, LNCS 12863, pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: Proceedings FMICS, LNCS 12863, pp

Reference 6

Resolution: verified exact; doi, observed 2026-08-01T08:19:47.048749Z

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 4f753e0c-1f00-4894-801e-8b730e52a9a0 · outbound

This paper cites B Maude: A formal executable environment for Abstract Machine Notation Descriptions.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB B Maude: A formal executable environment for Abstract Machine Notation Descriptions

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:28.648433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6320852-677e-4166-b7d4-15968667adbb · outbound

This paper cites Butler & Issam Maamria (2013): Practical Theory Extension in Event-B.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Butler & Issam Maamria (2013): Practical Theory Extension in Event-B

Reference 8

Resolution: verified exact; doi, observed 2026-08-01T08:19:46.999184Z

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 900e9ad5-4d84-47cd-bb5d-aab81c31cb75 · outbound

This paper cites In Chris- tian Attiogb´e & Dominique M ´ery, editors: Colloque ”From Research to Teaching Formal Methods: The B Method” (TFM-B’2010), APCB, Nantes, France, pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In Chris- tian Attiogb´e & Dominique M ´ery, editors: Colloque ”From Research to Teaching Formal Methods: The B Method” (TFM-B’2010), APCB, Nantes, France, pp

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:28.928624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a135d74-a1cc-46e7-9701-4843c0c840ef · outbound

This paper cites an unresolved cited work.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-01T08:19:46.822851Z

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 be91d1b0-abb3-4473-a7ae-22443a3c0597 · outbound

This paper cites Gansner (2011): Drawing graphs with Graphviz.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Gansner (2011): Drawing graphs with Graphviz

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:29.194506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7e16795-312b-434a-bcb0-5aeed3c74bac · outbound

This paper cites an unresolved cited work.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:29.319579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d24e611-9666-4a61-8455-56cdbd708a4d · outbound

This paper cites In: Proceedings ABZ, LNCS 15728, Springer, pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: Proceedings ABZ, LNCS 15728, Springer, pp

Reference 14

Resolution: malformed identifier; doi_truncated, observed 2026-08-01T08:19:46.518539Z

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 a85e9b6d-94fc-47e5-8ed8-8ca9c2f12764 · outbound

This paper cites In: 12th Rodin User and Developer Workshop.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: 12th Rodin User and Developer Workshop

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:29.583490Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 963067bc-f35b-412e-ae09-d964c0d1664e · outbound

This paper cites In: Proceedings ICLP, EPTCS.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: Proceedings ICLP, EPTCS

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:29.653568Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38e336ac-556a-4f6f-896b-a0608affe65d · outbound

This paper cites Acta Didactica Napocensia 3.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Acta Didactica Napocensia 3

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:29.755543Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37bb803a-b270-460b-ab26-eef95a3c05e3 · outbound

This paper cites Digital Experiences in Mathematics Education , pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Digital Experiences in Mathematics Education , pp

Reference 18

Resolution: verified exact; doi, observed 2026-08-01T08:19:46.219671Z

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 923fb3e4-a8c8-42ba-8618-8b6bc76c1ce8 · outbound

This paper cites Romanovsky (2016):Rodin Plat- form Why3 Plug-In.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Romanovsky (2016):Rodin Plat- form Why3 Plug-In

Reference 19

Resolution: malformed identifier; doi_truncated, observed 2026-08-01T08:19:46.126368Z

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 e56eb2ef-9c19-4a43-83be-11fc14ac01f4 · outbound

This paper cites In: Proceedings SEFM 2015 , LNCS 9276, Springer, pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: Proceedings SEFM 2015 , LNCS 9276, Springer, pp

Reference 20

Resolution: malformed identifier; no resolver link, observed 2026-08-01T08:14:30.084553Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bf5c088-3ea9-4980-a51a-036788b374d8 · outbound

This paper cites In: Proceedings PPDP’2008, ACM Press, pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: Proceedings PPDP’2008, ACM Press, pp

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:30.257288Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30c778ee-2cf2-4778-944f-598f8ce7b3cd · outbound

This paper cites In: Proceedings iFM 2020, LNCS 12546, Springer, pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: Proceedings iFM 2020, LNCS 12546, Springer, pp

Reference 22

Resolution: verified exact; doi, observed 2026-08-01T08:19:46.061851Z

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 913165f1-de2b-4a22-a518-8d4c9df95b71 · outbound

This paper cites In: Proceedings VPT 2020, EPTCS 320, pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: Proceedings VPT 2020, EPTCS 320, pp

Reference 23

Resolution: verified exact; doi, observed 2026-08-01T08:19:45.947009Z

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 fde031b8-3fd3-4fd3-a85a-9218f198aef3 · outbound

This paper cites In: Prolog: The Next 50 Y ears, LNCS 13900, Springer, pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: Prolog: The Next 50 Y ears, LNCS 13900, Springer, pp

Reference 24

Resolution: malformed identifier; doi_truncated, observed 2026-08-01T08:19:45.706635Z

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 9b237083-1969-44b8-8469-ccbcb14be74c · outbound

This paper cites Butler (2008): ProB: an automated analysis toolset for the B method.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Butler (2008): ProB: an automated analysis toolset for the B method

Reference 25

Resolution: verified exact; doi, observed 2026-08-01T08:19:45.590079Z

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 08f117c7-e917-45ea-982a-6e933987690a · outbound

This paper cites Journal of Symbolic Computation 8(1-2), pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Journal of Symbolic Computation 8(1-2), pp

Reference 26

Resolution: verified exact; doi, observed 2026-08-01T08:19:45.395785Z

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 c5122b51-7aa5-4d4b-bd6a-9f942be5c3ec · outbound

This paper cites In: Proceedings NFM 2025 , LNCS 15682, pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: Proceedings NFM 2025 , LNCS 15682, pp

Reference 27

Resolution: malformed identifier; doi_truncated, observed 2026-08-01T08:19:45.317232Z

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 01751bda-bd10-40f9-8969-ebd799b77893 · outbound

This paper cites AI Commun.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB AI Commun

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:31.329868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b02c1041-f5cc-4371-b942-c6765d154f16 · outbound

This paper cites an unresolved cited work.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-01T08:19:45.151402Z

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 e86fd9b8-a49b-4878-b1ae-35ac7497006b · outbound

This paper cites Available at https://hal.science/hal-04398119.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB Available at https://hal.science/hal-04398119

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T08:14:31.646327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0eb60e5b-c94a-426b-9aa3-ef78911f537c · outbound

This paper cites In: Proceedings ABZ, LNCS 12071, Springer, pp.

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB In: Proceedings ABZ, LNCS 12071, Springer, pp

Reference 31

Resolution: verified exact; doi, observed 2026-08-01T08:19:45.004904Z

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

No inbound Pith citation observations are available.