https://123dok.org/document/qo513jdj-sequent-calculus-theorem-prover-standard-conditional-logics.html