InitialContradictions
Logic
InitialOverlap
Logic
inFormula
Atoms
inHead
Atoms
internal
sbt