Paper Citation Record · LEDGER

Logic Mining from Process Logs: Towards Automated Specification and Verification

As of 9 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2506.08628.

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

pith.paper-citation-record.v1
2506.08628 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:12:57.648790Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

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

43 of 43 outbound references displayed

verified exact6
verified fuzzy23
unresolved8
parse uncertain1
malformed identifier0
metadata mismatch5

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2d6e9874-2c19-40cd-a28c-04506cb998c3 · outbound

This paper cites Hi story and Philosophy of Logic 36(3), 195–204 (2015) https://doi.org/10.1080/01445340.2015.1084183 29.

Logic Mining from Process Logs: Towards Automated Specification and Verification Hi story and Philosophy of Logic 36(3), 195–204 (2015) https://doi.org/10.1080/01445340.2015.1084183 29

Reference 1

Resolution: verified exact; raw_fallback, observed 2026-08-07T05:12:58.374728Z

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 f6dae2d1-254e-4c62-bfe8-b932733ba716 · outbound

This paper cites In: Paule, P.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Paule, P

Reference 2

Resolution: verified exact; doi, observed 2026-08-07T05:12:57.749665Z

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 80e901c1-55aa-49a8-8c9d-23d3ed07ade5 · outbound

This paper cites Journal of Logical and Algebraic Methods in Programming 104, 201–226 (2019) https://doi.org/10.1016/j.jlamp.2019.02.005.

Logic Mining from Process Logs: Towards Automated Specification and Verification Journal of Logical and Algebraic Methods in Programming 104, 201–226 (2019) https://doi.org/10.1016/j.jlamp.2019.02.005

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T05:12:57.738647Z

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 91dad9bd-47bc-40e2-82da-4f91a20ffa4b · outbound

This paper cites Springer, ??? (2016).

Logic Mining from Process Logs: Towards Automated Specification and Verification Springer, ??? (2016)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:57.504485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f55f2aee-dac6-4fb9-b786-48b6916580dc · outbound

This paper cites IEEE Transactions on Knowledge and Da ta Engineering 31(4), 686–705 (2019) https://doi.org/10.1109/TKDE.2018.2841877.

Logic Mining from Process Logs: Towards Automated Specification and Verification IEEE Transactions on Knowledge and Da ta Engineering 31(4), 686–705 (2019) https://doi.org/10.1109/TKDE.2018.2841877

Reference 5

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:12:58.300929Z

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 d375d1e9-15db-4fb1-ae2f-9756ea4cd9b2 · outbound

This paper cites In: Knowledge Sci- ence, Engineering and Management: 12th International Conf erence, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II 12 , pp.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Knowledge Sci- ence, Engineering and Management: 12th International Conf erence, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II 12 , pp

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.626332Z

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 d763f3e3-bb41-4f34-a817-ee4887881cd5 · outbound

This paper cites IEEE Transactions on Knowledge and Data Engineering 16(9), 1128–1142 (2004) https://doi.org/10.1109/TKDE.2004.47.

Logic Mining from Process Logs: Towards Automated Specification and Verification IEEE Transactions on Knowledge and Data Engineering 16(9), 1128–1142 (2004) https://doi.org/10.1109/TKDE.2004.47

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:57.515963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc1d7a2b-619b-41bb-8eda-ce144b85464f · outbound

This paper cites BETA Working Paper Series, WP 166, Eindhoven Uni versity of Technology, Eindhoven (2006).

Logic Mining from Process Logs: Towards Automated Specification and Verification BETA Working Paper Series, WP 166, Eindhoven Uni versity of Technology, Eindhoven (2006)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.616093Z

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 55f48662-96c4-4c63-9310-b6e3f0096594 · outbound

This paper cites In: Lohmann, N., Song, M., Wohed, P.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Lohmann, N., Song, M., Wohed, P

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:57.523381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d985f73d-65b7-4c38-92c9-8c3b07cc73f9 · outbound

This paper cites In: Business Process Man agement Work- shops.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Business Process Man agement Work- shops

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.605868Z

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 b98ec8da-35aa-4a4d-b689-906a70d122dd · outbound

This paper cites Comparison of Source Coding Techniques for the Vehicle to Vehicle Communication.

Logic Mining from Process Logs: Towards Automated Specification and Verification Comparison of Source Coding Techniques for the Vehicle to Vehicle Communication

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-08-07T05:12:58.221896Z

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 2eae587a-8a93-465f-bbd5-7c30758f3376 · outbound

This paper cites : From bpmn process models to bpel web services.

Logic Mining from Process Logs: Towards Automated Specification and Verification : From bpmn process models to bpel web services

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.595195Z

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 20e84484-2020-4f6a-9819-078d18aaf285 · outbound

This paper cites In: L atour, T., Petit, M.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: L atour, T., Petit, M

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.585161Z

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 07624402-4905-42f3-bed3-62232c98dd9f · outbound

This paper cites Information and Software Technology 50(3), 131–159 (2008) https://doi.org/10.1016/j.infsof.2006.11.004.

Logic Mining from Process Logs: Towards Automated Specification and Verification Information and Software Technology 50(3), 131–159 (2008) https://doi.org/10.1016/j.infsof.2006.11.004

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:57.541224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b793fc7-7bfb-4a99-a63a-224b7de88276 · outbound

This paper cites Algorithms 13(11) (2020) https://doi.org/10.3390/a13110279.

Logic Mining from Process Logs: Towards Automated Specification and Verification Algorithms 13(11) (2020) https://doi.org/10.3390/a13110279

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:57.544807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4ed0d8a-8e5c-44e8-82c3-5761fb2eacc8 · outbound

This paper cites In: Perner, P.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Perner, P

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.572641Z

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 6344154c-fee5-404b-9a96-aa1767ac0280 · outbound

This paper cites In: Kłopotek, M.A., Wierzchoń, S.T., Trojanowski, K.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Kłopotek, M.A., Wierzchoń, S.T., Trojanowski, K

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.552956Z

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 0b310ade-fe78-4c4f-86d0-17076a8ee006 · outbound

This paper cites In: Leeuwen, J.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Leeuwen, J

Reference 18

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:12:58.207823Z

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 36502577-d9ce-46af-b624-6c55ab3d4f52 · outbound

This paper cites Springer, ??? (1992).

Logic Mining from Process Logs: Towards Automated Specification and Verification Springer, ??? (1992)

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.543090Z

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 bd743801-97be-47c9-8ccd-fb52a6a19b33 · outbound

This paper cites In: Meersm an, R., Tari, Z.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Meersm an, R., Tari, Z

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.532416Z

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 388a2378-951e-424e-9bc3-0e5de8bf0647 · outbound

This paper cites In: Proceedings of the 39th IEEE/AC M Inter- national Conference on Automated Software Engineering Wor kshops (ASE/RENE), Sun 27 October–Fri 1 November 2024, Sacramento , CA, USA.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Proceedings of the 39th IEEE/AC M Inter- national Conference on Automated Software Engineering Wor kshops (ASE/RENE), Sun 27 October–Fri 1 November 2024, Sacramento , CA, USA

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:12:58.142518Z

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 f4994cd0-b017-451c-a457-96c4899be99d · outbound

This paper cites In: Zalta, E.N.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Zalta, E.N

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.522753Z

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 0b86f98b-5405-403c-bab9-583e0c560f4b · outbound

This paper cites In: Werning, M., Hinzen, W., Machery, E.

Logic Mining from Process Logs: Towards Automated Specification and Verification In: Werning, M., Hinzen, W., Machery, E

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:57.579051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d888773d-b381-452c-ad2e-022bfad3884b · outbound

This paper cites Proceedings of the IEEE 104(5), 960–972 (2016) https://doi.org/10.1109/JPROC.2015.2510366.

Logic Mining from Process Logs: Towards Automated Specification and Verification Proceedings of the IEEE 104(5), 960–972 (2016) https://doi.org/10.1109/JPROC.2015.2510366

Reference 24

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:12:57.995759Z

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 11b2c94c-9f83-47e8-a6fe-c99e39958952 · outbound

This paper cites Psicothema 30, 322–329 (2018).

Logic Mining from Process Logs: Towards Automated Specification and Verification Psicothema 30, 322–329 (2018)

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.512658Z

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 2cccef5e-120b-4c30-89f8-28499a8c9851 · outbound

This paper cites Data & Knowledge Engineering 69(10), 999–1021 (2010) https://doi.org/10.1016/j.datak.2010.06.001.

Logic Mining from Process Logs: Towards Automated Specification and Verification Data & Knowledge Engineering 69(10), 999–1021 (2010) https://doi.org/10.1016/j.datak.2010.06.001

Reference 26

Resolution: verified exact; doi, observed 2026-08-07T05:12:57.693671Z

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 275ecf6e-0d0d-48de-815f-75a23f499c8b · outbound

This paper cites Information System s 124, 102383 (2024) https://doi.org/10.1016/J.IS.2024.102383.

Logic Mining from Process Logs: Towards Automated Specification and Verification Information System s 124, 102383 (2024) https://doi.org/10.1016/J.IS.2024.102383

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:57.592924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edac5b4e-99fb-4889-84b6-ee1c5a6ebad1 · outbound

This paper cites International Journal of Applied Mathema tics and Computer Science 24(4), 941–956 (2014) https://doi.org/10.2478/amcs-2014-0069.

Logic Mining from Process Logs: Towards Automated Specification and Verification International Journal of Applied Mathema tics and Computer Science 24(4), 941–956 (2014) https://doi.org/10.2478/amcs-2014-0069

Reference 28

Resolution: verified exact; doi, observed 2026-08-07T05:12:57.681897Z

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 96688101-f6a7-4af6-9900-e1d3a2210d63 · outbound

This paper cites Journal of Indian Council of Philosophical Research XXVII(1), 249–276 (2011).

Logic Mining from Process Logs: Towards Automated Specification and Verification Journal of Indian Council of Philosophical Research XXVII(1), 249–276 (2011)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.502538Z

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 e546d3fc-3ffc-4833-8179-b4c17eddd239 · outbound

This paper cites Bibli otheca Mathematica.

Logic Mining from Process Logs: Towards Automated Specification and Verification Bibli otheca Mathematica

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.491101Z

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 b51ee020-1d61-4bcc-a347-967cb3d37b21 · outbound

This paper cites Handbook of Logic in Artiﬁ cial Intelligence and Logic Programming.

Logic Mining from Process Logs: Towards Automated Specification and Verification Handbook of Logic in Artiﬁ cial Intelligence and Logic Programming

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.480580Z

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 4c32094c-7eca-49a0-b5ea-eef33ab4c5f8 · outbound

This paper cites accessed on 5-Aug-202 4 (2020).

Logic Mining from Process Logs: Towards Automated Specification and Verification accessed on 5-Aug-202 4 (2020)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.470445Z

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 57afcf81-ad77-497a-bf3c-23b325313a76 · outbound

This paper cites Journal of AI C ommunications 15(2,3), 111–126 (2002).

Logic Mining from Process Logs: Towards Automated Specification and Verification Journal of AI C ommunications 15(2,3), 111–126 (2002)

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.460107Z

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 dc88d88d-008e-494d-98ac-52f1ecb70435 · outbound

This paper cites accessed on 5 -Aug-2024 (2017).

Logic Mining from Process Logs: Towards Automated Specification and Verification accessed on 5 -Aug-2024 (2017)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.450143Z

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 be548dbe-1010-42ca-bfc6-0b37e88be975 · outbound

This paper cites Journal of AI Communications 15(2,3), 91–110 (2002) 32.

Logic Mining from Process Logs: Towards Automated Specification and Verification Journal of AI Communications 15(2,3), 91–110 (2002) 32

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.440064Z

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 0193eabb-f930-4220-b5a9-30d251c73974 · outbound

This paper cites Journal of Automated Reasoning 59, 438–502 (2017).

Logic Mining from Process Logs: Towards Automated Specification and Verification Journal of Automated Reasoning 59, 438–502 (2017)

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.429884Z

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 f2cc0d66-9573-4792-9638-559e215aa8c1 · outbound

This paper cites The last access 25.04.2024 (2023).

Logic Mining from Process Logs: Towards Automated Specification and Verification The last access 25.04.2024 (2023)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.419276Z

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 70674657-b906-467a-8199-a2832e39b05c · outbound

This paper cites IEEE Transactions on Software Engineering 3(2), 125–143 (1977) https://doi.org/10.1109/TSE.1977.229904.

Logic Mining from Process Logs: Towards Automated Specification and Verification IEEE Transactions on Software Engineering 3(2), 125–143 (1977) https://doi.org/10.1109/TSE.1977.229904

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:57.633464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e24d7ca-6774-4b8c-9a69-a9ca49d34128 · outbound

This paper cites Inform ation Processing Letters 21 (4), 181–185 (1985).

Logic Mining from Process Logs: Towards Automated Specification and Verification Inform ation Processing Letters 21 (4), 181–185 (1985)

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.408700Z

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 c2b3eca5-755a-44da-823f-dce853f9c56e · outbound

This paper cites EATCS-Bulletin 53 (1994).

Logic Mining from Process Logs: Towards Automated Specification and Verification EATCS-Bulletin 53 (1994)

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.398432Z

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 0e8610c4-7960-457a-b690-075234d9959a · outbound

This paper cites Springer, ??? (2012).

Logic Mining from Process Logs: Towards Automated Specification and Verification Springer, ??? (2012)

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:58.387703Z

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 03b239cf-30a5-4fb6-b120-28461fe7d8d6 · outbound

This paper cites Re-evaluation of Logical Specification in Behavioural Verification.

Logic Mining from Process Logs: Towards Automated Specification and Verification Re-evaluation of Logical Specification in Behavioural Verification

Reference 42

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T05:12:57.765273Z

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 140733f3-d4d9-4029-a46d-171af907a68d · outbound

This paper cites an unresolved cited work.

Logic Mining from Process Logs: Towards Automated Specification and Verification Unresolved cited work

Reference 378

Resolution: parse uncertain; raw_fallback, observed 2026-08-07T05:12:58.562771Z

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

No inbound Pith citation observations are available.