Artale, A., Mazzullo, A., & Ozaki, A. (2025). First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications. ACM Transactions on Computational Logic, 25(2), 1-43. https://doi.org/10.1145/3651161
Παραπομπή σε μορφή Chicago (17η εκδ.)Artale, Alessandro, Andrea Mazzullo, και Ana Ozaki. "First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications." ACM Transactions on Computational Logic 25, no. 2 (2025): 1-43. https://doi.org/10.1145/3651161.
Παραπομπή σε μορφή MLA (9th εκδ.)Artale, Alessandro, et al. "First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications." ACM Transactions on Computational Logic, vol. 25, no. 2, 2025, pp. 1-43, https://doi.org/10.1145/3651161.