Burn, T. C., Ong, L., Ramsay, S., & Wagner, D. (2021, June 29). Initial Limit Datalog: A New Extensible Class of Decidable Constrained Horn Clauses. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470527
Chicago-Zitierstil (17. Ausg.)Burn, Toby Cathcart, Luke Ong, Steven Ramsay, und Dominik Wagner. "Initial Limit Datalog: A New Extensible Class of Decidable Constrained Horn Clauses." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-13. https://doi.org/10.1109/LICS52264.2021.9470527.
MLA-Zitierstil (9. Ausg.)Burn, Toby Cathcart, et al. "Initial Limit Datalog: A New Extensible Class of Decidable Constrained Horn Clauses." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-13, https://doi.org/10.1109/LICS52264.2021.9470527.