Frederik Krogsdal Jacobsen

A Sequent Calculus Prover for First-Order Logic with Functions

by Asta Halkjær Boserup and Frederik Krogsdal Jacobsen