HLK ProofTool
TU Vienna logic.at Theory and Logic Group (E185-2)