@article{J51,
  Author =	 {Steen, Alexander and Benzm{\"u}ller, Christoph},
  title =	 {Extensional Higher-Order Paramodulation in {Leo-III}},
  journal =	 {Journal of Automated Reasoning},
  volume    = {65},
  number    = {6},
  pages     = {775--807},
  year      = {2021},
  OPTOPTurl       = {https://doi.org/10.1007/s10817-021-09588-x},
  doi       = {10.1007/s10817-021-09588-x}
}

{"_id":"noHDTzPzfR9RNDFjp","bibbaseid":"steen-benzmller-extensionalhigherorderparamodulationinleoiii-2021","author_short":["Steen, A.","Benzmüller, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Steen"],"firstnames":["Alexander"],"suffixes":[]},{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]}],"title":"Extensional Higher-Order Paramodulation in Leo-III","journal":"Journal of Automated Reasoning","volume":"65","number":"6","pages":"775–807","year":"2021","optopturl":"https://doi.org/10.1007/s10817-021-09588-x","doi":"10.1007/s10817-021-09588-x","bibtex":"@article{J51,\n Author =\t {Steen, Alexander and Benzm{\\\"u}ller, Christoph},\n title =\t {Extensional Higher-Order Paramodulation in {Leo-III}},\n journal =\t {Journal of Automated Reasoning},\n volume = {65},\n number = {6},\n pages = {775--807},\n year = {2021},\n OPTOPTurl = {https://doi.org/10.1007/s10817-021-09588-x},\n doi = {10.1007/s10817-021-09588-x}\n}\n\n\n","author_short":["Steen, A.","Benzmüller, C."],"key":"J51","id":"J51","bibbaseid":"steen-benzmller-extensionalhigherorderparamodulationinleoiii-2021","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["extensional","higher","order","paramodulation","leo","iii","steen","benzmüller"],"title":"Extensional Higher-Order Paramodulation in Leo-III","year":2021,"downloads":2}