Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL.

MLA

From, Asta Halkjær, and Frederik Krogsdal Jacobsen. “Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL.” Journal of Automated Reasoning, vol. 68, no. 3, Sept. 2024, pp. 1–30. EBSCOhost, https://doi.org/10.1007/s10817-024-09697-3.

APA

From, A. H., & Jacobsen, F. K. (2024). Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL. Journal of Automated Reasoning, 68(3), 1–30. https://doi.org/10.1007/s10817-024-09697-3

Chicago

From, Asta Halkjær, and Frederik Krogsdal Jacobsen. 2024. “Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL.” Journal of Automated Reasoning 68 (3): 1–30. doi:10.1007/s10817-024-09697-3.