Paper Citation Record · LEDGER

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice

As of 12 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2502.09189.

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

pith.paper-citation-record.v1
2502.09189 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T22:31:49.120383Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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

35 of 35 outbound references displayed

verified exact9
verified fuzzy13
unresolved12
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 38a605be-5fcc-488b-bc4a-081b3d4859c2 · outbound

This paper cites MIT Press (2008).

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice MIT Press (2008)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T22:31:49.023750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4476b8f0-8669-45e5-a108-36efe60b00c5 · outbound

This paper cites Springer (2008), https:// www.worldcat.org/oclc/227584184.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Springer (2008), https:// www.worldcat.org/oclc/227584184

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T22:31:49.027466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6d6154e-1868-4500-9b11-c040cbc37a68 · outbound

This paper cites RAIRO Theor.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice RAIRO Theor

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T22:31:49.030590Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 883a96d7-dfe1-4054-b5e8-030975db5c89 · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T22:31:49.431169Z

Source-reported events for the cited work

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

Observation 00af43ee-c9f3-4dd8-a85b-15d7c248e64d · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-07T22:31:49.424132Z

Source-reported events for the cited work

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

Observation d329a0fb-62f9-476e-8def-68ea8e160972 · outbound

This paper cites Cambridge University Press (2008).https: //doi.org/10.1017/CBO9780511800191.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Cambridge University Press (2008).https: //doi.org/10.1017/CBO9780511800191

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T22:31:49.219203Z

Source-reported events for the cited work

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

Observation 5c2ea3b6-cf3a-4104-a4f7-2151de9d44be · outbound

This paper cites In: TACAS (2).

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice In: TACAS (2)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.417450Z

Source-reported events for the cited work

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

Observation 531af978-126e-4f5f-853f-e4a57ce5639f · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T22:31:49.210635Z

Source-reported events for the cited work

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

Observation 0d1939a1-6c66-4dd1-b5cc-2f61a4797dc5 · outbound

This paper cites (eds.): Handbook of Model Checking.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice (eds.): Handbook of Model Checking

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T22:31:49.049457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a758d57-4eb2-4f28-a885-871cd790a2e8 · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-07T22:31:49.197819Z

Source-reported events for the cited work

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

Observation 774f9764-ad77-424c-af57-1006e9766d75 · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T22:31:49.189479Z

Source-reported events for the cited work

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

Observation 989a2b64-79f5-4558-b3fe-bd5d3f81c144 · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-08-07T22:31:49.181021Z

Source-reported events for the cited work

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

Observation 3e916e68-8951-4e76-84ec-cd9a4447ed16 · outbound

This paper cites In: TACAS.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice In: TACAS

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.410503Z

Source-reported events for the cited work

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

Observation fa33884a-c8b4-427c-8668-6ad8d30efb1e · outbound

This paper cites In: Finkbeiner, B., Kovács, L.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice In: Finkbeiner, B., Kovács, L

Reference 14

Resolution: malformed identifier; no resolver link, observed 2026-08-07T22:31:49.066309Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0b62110-e1ce-4759-8171-c21d13e628c4 · outbound

This paper cites In: TACAS (1).

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice In: TACAS (1)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.403006Z

Source-reported events for the cited work

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

Observation dd547dff-c7a7-441d-b9f0-7c1fe451af00 · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T22:31:49.395601Z

Source-reported events for the cited work

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

Observation 5d4af4ab-593f-4ffb-8591-fe12ac4b9603 · outbound

This paper cites In: Lectures in Game Theory for Computer Scientists, pp.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice In: Lectures in Game Theory for Computer Scientists, pp

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.387707Z

Source-reported events for the cited work

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

Observation 054dae53-10d1-4d90-81f6-cea0fd82739e · outbound

This paper cites Dedekind's problem in the hypergrid.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Dedekind's problem in the hypergrid

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-08-07T22:31:49.233262Z

Source-reported events for the cited work

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

Observation c99b7d90-075b-4a15-996f-f02c97599d0d · outbound

This paper cites Formal Methods Syst.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Formal Methods Syst

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.380112Z

Source-reported events for the cited work

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

Observation f303a8c3-e89b-49b1-a877-eedd5e4ec857 · outbound

This paper cites Master’s thesis, Université Libre de Bruxelles, Belgium (2002).

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Master’s thesis, Université Libre de Bruxelles, Belgium (2002)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.373132Z

Source-reported events for the cited work

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

Observation 9ff2c725-c27c-4cf3-b940-ecfd4b14da64 · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T22:31:49.365779Z

Source-reported events for the cited work

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

Observation a994fbad-f93b-425d-b0f5-72eec5c58aca · outbound

This paper cites Formal Methods Syst.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Formal Methods Syst

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.358613Z

Source-reported events for the cited work

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

Observation 166591ea-e6c8-47a1-bd36-590d46572331 · outbound

This paper cites In: Champarnaud, J., Maurel, D.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice In: Champarnaud, J., Maurel, D

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.351398Z

Source-reported events for the cited work

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

Observation 0de8abf1-780d-4407-af41-16983b978966 · outbound

This paper cites Acta Informatica 55(8), 627–647 (2018).

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Acta Informatica 55(8), 627–647 (2018)

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.343583Z

Source-reported events for the cited work

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

Observation a4232f5f-d088-44da-94ca-0503b121778c · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-07T22:31:49.155976Z

Source-reported events for the cited work

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

Observation 959b9189-97b0-45fa-a83a-ef93f26efc6c · outbound

This paper cites In: Reichel, H., Tison, S.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice In: Reichel, H., Tison, S

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T22:31:49.100241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f46ba38a-a96a-49de-b2fd-d182994caf66 · outbound

This paper cites In: Dastani, M., Sirjani, M.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice In: Dastani, M., Sirjani, M

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.335536Z

Source-reported events for the cited work

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

Observation 9bbbdaac-2c10-44e9-bdea-754c271e3fab · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T22:31:49.327019Z

Source-reported events for the cited work

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

Observation 0fa80d3c-10ec-4dea-b344-124a727991a9 · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-07T22:31:49.143082Z

Source-reported events for the cited work

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

Observation cd8abd91-a9a6-4f4b-9645-8022885129cf · outbound

This paper cites In: ICFEM.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice In: ICFEM

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.318987Z

Source-reported events for the cited work

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

Observation a914bc99-f40b-4626-a798-a30b564c1f73 · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-07T22:31:49.311067Z

Source-reported events for the cited work

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

Observation 0ae127b1-54d2-4395-8ae0-67c3c83880ea · outbound

This paper cites This makes comparing the complexity of algorithms on covering sharing trees with the others studied in this work rather hard.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice This makes comparing the complexity of algorithms on covering sharing trees with the others studied in this work rather hard

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.303007Z

Source-reported events for the cited work

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

Observation c4fc9c6f-88a7-4a57-8fc9-149295b5ff35 · outbound

This paper cites deep and narrow.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice deep and narrow

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:31:49.294187Z

Source-reported events for the cited work

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

Observation a637ab22-8644-4f79-807d-bb5b1ca49064 · outbound

This paper cites https://doi.org/10.1007/3-540-44977-9_31, https:// doi.org/10.1007/3-540-44977-9_31.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice https://doi.org/10.1007/3-540-44977-9_31, https:// doi.org/10.1007/3-540-44977-9_31

Reference 294

Resolution: verified exact; doi, observed 2026-08-07T22:31:49.163999Z

Source-reported events for the cited work

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

Observation 1d13d35d-ca27-46e7-a05b-9a3e014c23b4 · outbound

This paper cites an unresolved cited work.

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Unresolved cited work

Reference 308

Resolution: unresolved; no resolver link, observed 2026-08-07T22:31:49.063326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.