SKVORTSOV, E., XIA, Y., GARG, O., BOWERS, S., & LUDÄSCHER, B. (2026). Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica. Theory & Practice of Logic Programming, 26(1/2), 283. https://doi.org/10.1017/S1471068426100660
Chicago Style (17th ed.) CitationSKVORTSOV, EVGENY, YILIN XIA, OJASWA GARG, SHAWN BOWERS, and BERTRAM LUDÄSCHER. "Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica." Theory & Practice of Logic Programming 26, no. 1/2 (2026): 283. https://doi.org/10.1017/S1471068426100660.
MLA (9th ed.) CitationSKVORTSOV, EVGENY, et al. "Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica." Theory & Practice of Logic Programming, vol. 26, no. 1/2, 2026, p. 283, https://doi.org/10.1017/S1471068426100660.