APA (7th ed.) Citation

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 Style (17th ed.) Citation

Blanchette, Jasmin, and 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 (9th ed.) Citation

Blanchette, Jasmin, and 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.