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
Chicago-Zitierstil (17. Ausg.)Blanchette, Jasmin, und 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.
MLA-Zitierstil (9. Ausg.)Blanchette, Jasmin, und 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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.