@Article{SB21,
    Author       = "Steen, A. and  Benzm{\"u}ller, C.",
    Year         = "2021",
    Title        = "{Extensional Higher-Order Paramodulation in Leo-III}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "65",
    Number       = "6",
    Pages        = "775–807",
    Comment      = "TPTPCite"
}