Martens, C., Simmons, R. J., & Arntzenius, M. (2025). Finite-Choice Logic Programming. Proceedings of ACM on programming languages, 9(POPL), 362-390. https://doi.org/10.1145/3704849
Citace podle Chicago (17th ed.)Martens, Chris, Robert J. Simmons, a Michael Arntzenius. "Finite-Choice Logic Programming." Proceedings of ACM on Programming Languages 9, no. POPL (2025): 362-390. https://doi.org/10.1145/3704849.
Citace podle MLA (9th ed.)Martens, Chris, et al. "Finite-Choice Logic Programming." Proceedings of ACM on Programming Languages, vol. 9, no. POPL, 2025, pp. 362-390, https://doi.org/10.1145/3704849.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..