Extensional Higher-Order Paramodulation in Leo-III (bibtex)
by Alexander Steen, Christoph Benzmüller
Reference:
Extensional Higher-Order Paramodulation in Leo-III (Alexander Steen, Christoph Benzmüller), In Submitted to Journal of Automated Reasoning, Springer Netherlands, pp. 1-34, 2020. (Preprint: https://www.researchgate.net/publication/334698236)
Bibtex Entry:
@article{J51,
  Author =	 {Steen, Alexander and Benzm{\"u}ller, Christoph},
  Keywords =	 {own, submitted, Higher Order Logic, Automated Reasoning, LEO
                  Prover},
  Title =	 {Extensional Higher-Order Paramodulation in Leo-III},
  Journal =	 {Submitted to Journal of Automated Reasoning},
  Publisher =    {Springer Netherlands},
  pages = {1-34},
  Addendum =	 {Preprint: \url{https://www.researchgate.net/publication/334698236}},
  Year =	 2020,
}