at.logic.gapt:gapt_2.13 (maven): General Architecture for Proof Theory
Keywords: herbrand-disjunction|proof|proofs|sat-solver|scala|tactics|theorem-proving