@misc{indiciae9e88e445110b,
  title = {Extensional Higher-Order Paramodulation in Leo-III},
  author = {Alexander Steen and Christoph Benzmüller},
  year = {2021},
  doi = {10.1007/s10817-021-09588-x},
  url = {https://arxiv.org/abs/1907.11501},
  note = {Source identifier: 1907.11501}
}