TY  - RPRT
TI  - Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica
AU  - Evgeny Skvortsov
AU  - Yilin Xia
AU  - Ojaswa Garg
AU  - Shawn Bowers
AU  - Bertram Ludäscher
PY  - 2026
UR  - https://arxiv.org/abs/2606.02926
ID  - 2606.02926
ER  -