@article{extensionalhigherorderparamodulationin,
  title = {Extensional Higher-Order Paramodulation in Leo-III},
  author = {Alexander Steen and Christoph Benzmüller},
  year = {2019},
  eprint = {1907.11501},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1907.11501v2},
}