APA (7th ed.) Citation

Miller, D., & Viel, A. (2022). The undecidability of proof search when equality is a logical connective. Annals of mathematics and artificial intelligence, 90(5), 523-535. https://doi.org/10.1007/s10472-021-09764-0

Chicago Style (17th ed.) Citation

Miller, Dale, and Alexandre Viel. "The Undecidability of Proof Search When Equality Is a Logical Connective." Annals of Mathematics and Artificial Intelligence 90, no. 5 (2022): 523-535. https://doi.org/10.1007/s10472-021-09764-0.

MLA (9th ed.) Citation

Miller, Dale, and Alexandre Viel. "The Undecidability of Proof Search When Equality Is a Logical Connective." Annals of Mathematics and Artificial Intelligence, vol. 90, no. 5, 2022, pp. 523-535, https://doi.org/10.1007/s10472-021-09764-0.