First-order calculi and proof procedures for automated deduction

@inproceedings{Letz1993FirstorderCA,
  title={First-order calculi and proof procedures for automated deduction},
  author={Reinhold Letz},
  year={1993}
}