A Sequent Calculus Prover for First-Order Logic with Functions by Asta Halkjær From and Frederik Krogsdal Jacobsen Jan 31