Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica | Paper Citation Record

Observation 9c0db08e-1cb8-4a7a-bb12-93a4efb75e53 · outbound

This paper cites 1998 , xnote =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 1998 , xnote =

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6c20b30-4594-4db3-a3b0-36c58604f1ef · outbound

This paper cites 1988 , publisher=.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 1988 , publisher=

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0863b9e0-603a-47f0-b695-ae7604173b62 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f0c5645-edbd-46e9-86db-e0666ea64d66 · outbound

This paper cites and Ross, K.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Ross, K

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f4c01a0-7533-4cac-a2bb-fb975c1f530a · outbound

This paper cites and Lifschitz, V.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Lifschitz, V

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b37e2a28-6a8b-4e9d-acb7-0f8df20468e4 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73def84e-bc95-42b6-9b72-26f396aa8fcd · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d9dc0f7-7f6a-403d-9a40-c393f2e67c54 · outbound

This paper cites , title =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica , title =

Reference 8

Resolution: parse uncertain; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4438c751-cd02-4bc1-9adc-e0ecc58f9a3a · outbound

This paper cites and Leone, N.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Leone, N

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d027bff-dfc1-45bc-a0ce-f8e6a6c62124 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 621d30de-1674-4d0d-b290-cf9564c64cf6 · outbound

This paper cites and Ramakrishnan, Raghu and Srivastava, Divesh and Ullman, Jeffrey D.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Ramakrishnan, Raghu and Srivastava, Divesh and Ullman, Jeffrey D

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fdf782b-2186-4d22-8796-33deccbc5c79 · outbound

This paper cites Kemp and Peter J.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Kemp and Peter J

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b6a9a61-5ae1-4790-920f-1360fb9b5a76 · outbound

This paper cites Intl.\ Conf.\ on Database Theory (ICDT) , publisher =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Intl.\ Conf.\ on Database Theory (ICDT) , publisher =

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 275ef8ca-c213-47e6-9622-a5bcdfec3a11 · outbound

This paper cites Order , volume = 17, number = 1, pages =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Order , volume = 17, number = 1, pages =

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f3e3f0e-87bd-4424-8691-096bbb986c64 · outbound

This paper cites Algorithmica , month = sep, pages =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Algorithmica , month = sep, pages =

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18288a69-34d2-4ea5-9f80-c83051075477 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31782973-f9e1-4b03-a372-e95ae197f920 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85a2cd4e-57c9-4b2c-9db8-912c5764934b · outbound

This paper cites SIAM Journal on Computing , volume =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica SIAM Journal on Computing , volume =

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53d114dc-a0ed-48de-9076-075c61ad33ec · outbound

This paper cites Journal of Combinatorial Theory , volume = 1, number = 1, pages =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Journal of Combinatorial Theory , volume = 1, number = 1, pages =

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 661c86ba-6c50-42e5-9b3f-5f2560aa08c5 · outbound

This paper cites Gelfond , xeditor =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Gelfond , xeditor =

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b413e119-1250-4e9b-9fc6-1baaa18e93e3 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf31f6d2-b097-493f-a502-eab4ae1fb1eb · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d77ee085-cd92-404a-a2e2-22bb5a894817 · outbound

This paper cites 2005 , note =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 2005 , note =

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1584bf3c-82ac-488e-b563-1f5269b0ba3d · outbound

This paper cites Graph Transformation in Molecular Biology https://doi.org/10.1007/978-3-540-31847-7_7.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Graph Transformation in Molecular Biology https://doi.org/10.1007/978-3-540-31847-7_7

Reference 25

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.762003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1cb3766e-c6d8-4f75-8052-27a8a5044f6b · outbound

This paper cites Graph Rewriting Systems and their Application in Biology.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Graph Rewriting Systems and their Application in Biology

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c0d0198-5248-4040-aff0-6f95805b9164 · outbound

This paper cites International Workshop on Rewriting Logic and Its Applications , series =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica International Workshop on Rewriting Logic and Its Applications , series =

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58a2366a-55e4-453a-9e2b-76deb50339a7 · outbound

This paper cites 2023 , booktitle =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 2023 , booktitle =

Reference 28

Resolution: parse uncertain; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e55dd693-cbc6-430f-9232-18c73308f586 · outbound

This paper cites 2014 , pages=.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 2014 , pages=

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc7da603-479b-4d12-8448-2c1b3ca649e9 · outbound

This paper cites Software System Modeling , year =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Software System Modeling , year =

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abe76f80-bbbd-43cf-8423-21436eaade5d · outbound

This paper cites Datalog 2.0 2022 , series =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Datalog 2.0 2022 , series =

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85ff7202-ce32-4f01-b0bd-2b01e5ecadb0 · outbound

This paper cites 1998 , booktitle =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 1998 , booktitle =

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ec7cdc9-6392-40b0-aedb-31790f938b8b · outbound

This paper cites and Kaminski, R.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Kaminski, R

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 054c2e8e-073f-48cf-afd6-0d7f9797d236 · outbound

This paper cites , month = sep, year =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica , month = sep, year =

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff8775dd-a22c-47e5-bf24-f25e53085084 · outbound

This paper cites Yedalog: Exploring Knowledge at Scale , xauthor=.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Yedalog: Exploring Knowledge at Scale , xauthor=

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dda82819-0992-4179-a5a5-63b055aa0377 · outbound

This paper cites and Och, Franz and Olston, Christopher and Pereira, Fernando , year =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Och, Franz and Olston, Christopher and Pereira, Fernando , year =

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00837779-838e-4377-99b6-320376b30e9f · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afc5cca9-3bdd-4b54-b86a-908a17634fd4 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 497edebb-0c8f-40ce-96dc-25b9821bafc8 · outbound

This paper cites ACM SIGMOD Record , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica ACM SIGMOD Record , author =

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea5a0a06-e301-47b3-931f-171eca3d99a1 · outbound

This paper cites and Köhler, Sven and Bowers, Shawn and Ludäscher, Bertram , editor =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Köhler, Sven and Bowers, Shawn and Ludäscher, Bertram , editor =

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c015ee1-57d0-4e20-87b4-6183d8c1a31e · outbound

This paper cites IBM Systems Journal , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica IBM Systems Journal , author =

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 075873e7-3da1-4201-9002-d46c29d2d4b2 · outbound

This paper cites Logica Project , url =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Logica Project , url =

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca525a24-6a65-4654-81c7-d0a87dd4c13a · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7eda41a0-385a-434e-a078-33ed5544d106 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c83990ae-fd87-4dc3-ad8c-f34b12ee1da6 · outbound

This paper cites , month = may, year = 2015, keywords =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica , month = may, year = 2015, keywords =

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1dded65c-384d-449d-8409-73a7ffe2df2b · outbound

This paper cites The VLDB Journal , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica The VLDB Journal , author =

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 380b2151-dd45-41ab-85a4-4ba691e7a385 · outbound

This paper cites and Hellerstein, Joseph M.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Hellerstein, Joseph M

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5ca7c03-fe39-44b4-b519-21772326179e · outbound

This paper cites On fast large-scale program analysis in.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica On fast large-scale program analysis in

Reference 48

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38895ddd-429b-4639-89e2-acb86a5df587 · outbound

This paper cites Soufflé:.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Soufflé:

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 105488f7-c4c6-44c5-8127-2d980048bc0a · outbound

This paper cites , xeditor =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica , xeditor =

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49c51e1f-08e5-4c38-93ea-3250294ffe23 · outbound

This paper cites 2011 , xurl =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 2011 , xurl =

Reference 51

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88c385f2-9fb4-4d1a-80a2-bca999595d6d · outbound

This paper cites 2022 , xurl =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 2022 , xurl =

Reference 52

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71fdb7ed-a346-4495-88f2-39d7df19a767 · outbound

This paper cites Journal of the ACM , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Journal of the ACM , author =

Reference 53

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a730354b-0d33-4dbb-9bea-6c3b758f14f3 · outbound

This paper cites Journal of Computer and System Sciences , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Journal of Computer and System Sciences , author =

Reference 54

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 893ee581-e54b-4e7c-8d79-55921c6177d2 · outbound

This paper cites and Hull, R.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Hull, R

Reference 55

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 646babec-19a2-4923-914b-42f6e5501218 · outbound

This paper cites and Vianu, V , title =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Vianu, V , title =

Reference 56

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29073a46-2b9e-4baf-be87-c0d67783ab4d · outbound

This paper cites SIGMOD Record , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica SIGMOD Record , author =

Reference 57

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0a3412d-38d4-4c33-9b61-6d023ff071cb · outbound

This paper cites 2012 , file =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 2012 , file =

Reference 59

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b87c3d57-74c2-495d-9481-38e410be358c · outbound

This paper cites 2011 , file =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 2011 , file =

Reference 60

Resolution: parse uncertain; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdf9d262-d26e-45e1-a9e5-bab4df522ed8 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 61

Resolution: verified exact; arxiv_id, observed 2026-06-28T11:32:02.756221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4f5f0218-843c-4577-8f88-fc254a5c0af8 · outbound

This paper cites 2011 , keywords =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 2011 , keywords =

Reference 62

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.763536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f709708e-49b1-4703-8461-c04b13ce264c · outbound

This paper cites Data & Knowledge Engineering , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Data & Knowledge Engineering , author =

Reference 63

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.742296Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a4b2fd5b-7ef9-4f07-8990-b69aa7f365e5 · outbound

This paper cites , year =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica , year =

Reference 64

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.765715Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2bf865c0-cdfa-4cb5-b212-8b1f5792bf07 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d68a567-7798-4ab4-a802-b88c6fb9dde0 · outbound

This paper cites VLDB , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica VLDB , author =

Reference 66

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3485ec19-9db2-4e28-a14f-883cb07d94e5 · outbound

This paper cites Electronic Communications of the EASST , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Electronic Communications of the EASST , author =

Reference 67

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.758296Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e7d1af2b-9b96-4d0b-b42a-87eaad97cdd3 · outbound

This paper cites Expert Systems with Applications , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Expert Systems with Applications , author =

Reference 68

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cbcb436-a38e-481f-9613-6346370514d7 · outbound

This paper cites Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium: Principles of Database Systems , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium: Principles of Database Systems , author =

Reference 69

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04a36a73-b33d-443e-8faf-85dac4ce3cea · outbound

This paper cites Annals of Mathematics and Artificial Intelligence , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Annals of Mathematics and Artificial Intelligence , author =

Reference 70

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.753742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 043b17de-0fd9-4f6f-a591-be151414b7fe · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 71

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96a03877-945f-40b9-9588-6f2e81b4b5d5 · outbound

This paper cites 2017 , pages =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 2017 , pages =

Reference 72

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9bdab49-e7cb-4dd7-91df-36fb41e17564 · outbound

This paper cites 2019 , note =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica 2019 , note =

Reference 73

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.760021Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f6df0bb1-7c8b-4d0d-94bf-cd358aba3033 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 74

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.767458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b68cd2a6-c92d-4c73-859f-6b1eaf98756f · outbound

This paper cites Keeping CALM: When Distributed Consistency is Easy.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Keeping CALM: When Distributed Consistency is Easy

Reference 75

Resolution: metadata mismatch; local_arxiv, observed 2026-07-02T01:56:27.634162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 09971fbb-b852-4a10-98a6-bae3c131478a · outbound

This paper cites Provenance for Large-scale Datalog.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Provenance for Large-scale Datalog

Reference 76

Resolution: metadata mismatch; local_arxiv, observed 2026-07-02T01:56:27.638790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3bbcfcf6-c800-4e59-96c8-85cc8c1ba635 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 77

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd082e60-8e26-4b83-ae2b-d9434e53df10 · outbound

This paper cites Future Generation Computer Systems , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Future Generation Computer Systems , author =

Reference 78

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63db6930-8bc7-48b1-a74d-7cc2eff0d444 · outbound

This paper cites Data Provenance.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Data Provenance

Reference 79

Resolution: metadata mismatch; doi, observed 2026-06-28T11:32:02.744085Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dcaabc66-d184-418f-9dda-dd58b5cde861 · outbound

This paper cites and Tekle, K.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Tekle, K

Reference 80

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1a02874-791b-4da0-8543-d9457a1b7d21 · outbound

This paper cites Aggregates in.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Aggregates in

Reference 81

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1b0e653-04e9-4870-bc30-2d96598e59d3 · outbound

This paper cites ACM Transactions on Programming Languages and Systems , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica ACM Transactions on Programming Languages and Systems , author =

Reference 82

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.752020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation afd653cd-5041-4320-9487-e4af4c7791ca · outbound

This paper cites and Gottlob, G.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Gottlob, G

Reference 83

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 928635a8-965b-4390-b5d3-1b5c12bd7ae3 · outbound

This paper cites Reasoning over financial scenarios with the vadalog system , url =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Reasoning over financial scenarios with the vadalog system , url =

Reference 84

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.747832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 30d20f15-7f89-413c-b192-2214fe36b842 · outbound

This paper cites Logic and.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Logic and

Reference 85

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ad66b4e-de82-4e77-9d40-3442b71498b2 · outbound

This paper cites Theory and Practice of Logic Programming , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Theory and Practice of Logic Programming , author =

Reference 86

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.746047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b583565b-eedd-4f9d-9590-9008e1c8620b · outbound

This paper cites Logic Comput.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Logic Comput

Reference 87

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d882f437-0912-4199-b1be-b3340815f04d · outbound

This paper cites Hypertree decompositions: Questions and answers.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Hypertree decompositions: Questions and answers

Reference 88

Resolution: verified exact; arxiv_id, observed 2026-06-28T11:32:02.773548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6d9f3638-d8a0-4316-9df3-993023303755 · outbound

This paper cites CACM , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica CACM , author =

Reference 89

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b416be25-79e4-43dd-b256-82064f9f81d0 · outbound

This paper cites Journal of Computer and System Sciences , author =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Journal of Computer and System Sciences , author =

Reference 90

Resolution: verified exact; doi, observed 2026-06-28T11:32:02.775838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 832c306d-c988-424b-93fe-021d3bd8148a · outbound

This paper cites Datalog and emerging applications: an interactive tutorial , isbn =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Datalog and emerging applications: an interactive tutorial , isbn =

Reference 91

Resolution: verified exact; arxiv_id, observed 2026-06-28T11:32:02.740369Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2dfce26c-dce3-432b-b0d6-0d51ecf1f99e · outbound

This paper cites Logic and data bases , isbn =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Logic and data bases , isbn =

Reference 92

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d226930-a6c9-49e9-9157-574ef9e3d407 · outbound

This paper cites and Pichler, Reinhard and Suciu, Dan and Remy Wang, Yisu , title =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Pichler, Reinhard and Suciu, Dan and Remy Wang, Yisu , title =

Reference 93

Resolution: verified exact; arxiv_id, observed 2026-06-28T11:32:02.750306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dffe0463-fff5-442f-96ad-3b2b0851e3d2 · outbound

This paper cites Durations and parametric model-checking in timed automata.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Durations and parametric model-checking in timed automata

Reference 94

Resolution: metadata mismatch; arxiv_id, observed 2026-06-28T11:32:02.770584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a80f630c-6b76-4702-8bbb-2b534172e14a · outbound

This paper cites Mathematical Logic , year =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Mathematical Logic , year =

Reference 95

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6e2e00c-96bd-467b-a272-97d34f5a4280 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 96

Resolution: parse uncertain; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b372e1e4-a49f-4262-8dee-0f55d8e8bd88 · outbound

This paper cites , title =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica , title =

Reference 97

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3982c1c4-fada-4f6c-b418-2528a9939843 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 98

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 152c7f55-9b62-4202-9326-e5c8268df500 · outbound

This paper cites an unresolved cited work.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Unresolved cited work

Reference 99

Resolution: parse uncertain; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6595417b-70d1-44c0-a0fb-2acb059fb677 · outbound

This paper cites and Han, W.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Han, W

Reference 100

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51c84bc8-d9a8-4abb-9f07-ffe19d882048 · outbound

This paper cites and Schneider, F.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica and Schneider, F

Reference 101

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf2adc0f-54b0-44d5-aca3-a39f82058483 · outbound

This paper cites Proceedings of the 41st International Conference on Logic Programming (ICLP 2025) , series =.

Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica Proceedings of the 41st International Conference on Logic Programming (ICLP 2025) , series =

Reference 102

Resolution: unresolved; no resolver link, observed 2026-06-28T11:25:47.093260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers