1 paper · 1 filter
Johann Rosain, Julie Cailler
The free-variable tableau method has been widely used in order to automate proofs in multiple kinds of logics. Many automated theorem provers rely on this approach, either because…