Blanchette, J., & Vukmirović, P. (2023). SAT-Inspired Higher-Order Eliminations. Logical methods in computer science, 19(2), . https://doi.org/10.48550/arxiv.2208.07775
Citácia podle Chicago (17th ed.)Blanchette, Jasmin, a Petar Vukmirović. "SAT-Inspired Higher-Order Eliminations." Logical Methods in Computer Science 19, no. 2 (2023). https://doi.org/10.48550/arxiv.2208.07775.
Citácia podľa MLA (8th ed.)Blanchette, Jasmin, a Petar Vukmirović. "SAT-Inspired Higher-Order Eliminations." Logical Methods in Computer Science, vol. 19, no. 2, 2023, https://doi.org/10.48550/arxiv.2208.07775.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..