FOL-Fitting Dependents

First-Order Theory of Rewriting

by Alexander Lochmann and Bertram Felgenhauer

A Sequent Calculus for First-Order Logic

by Asta Halkjær From