Blanchette, J., & Vukmirović, P. (2023). SAT-Inspired Higher-Order Eliminations. Logical methods in computer science, 19, Issue 2, . https://doi.org/10.46298/lmcs-19(2:9)2023
Citace podle Chicago (17th ed.)Blanchette, Jasmin, a Petar Vukmirović. "SAT-Inspired Higher-Order Eliminations." Logical Methods in Computer Science 19, Issue 2 (2023). https://doi.org/10.46298/lmcs-19(2:9)2023.
Citace podle MLA (9th ed.)Blanchette, Jasmin, a Petar Vukmirović. "SAT-Inspired Higher-Order Eliminations." Logical Methods in Computer Science, vol. 19, Issue 2, 2023, https://doi.org/10.46298/lmcs-19(2:9)2023.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..