Cathcart Burn, T., Ong, C., Ramsay, S., & Wagner, D. (2021). Initial limit Datalog: A new extensible class of decidable constrained Horn clauses. IEEE.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Cathcart Burn, T., C-H Ong, S. Ramsay, ба D. Wagner. Initial Limit Datalog: A New Extensible Class of Decidable Constrained Horn Clauses. IEEE, 2021.
MLA -ийн эшлэл (9 дэх хэвлэлт)Cathcart Burn, T., et al. Initial Limit Datalog: A New Extensible Class of Decidable Constrained Horn Clauses. IEEE, 2021.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.