A Variant of the Superposition Calculus

@article{Peltier2016AVO,
  title={A Variant of the Superposition Calculus},
  author={Nicolas Peltier},
  journal={Archive of Formal Proofs},
  year={2016},
  volume={2016}
}