Connection calculi for automated theorem proving in classical and non-classical logics

@inproceedings{Otten2013ConnectionCF,
  title={Connection calculi for automated theorem proving in classical and non-classical logics},
  author={Jens Otten},
  year={2013}
}

Topics from this paper.