F
O
L
_
S
eq_
C
alc1
Common
Tableau
Sequent
Sequent2