Alexander SteenBooksKI 2023 : Advances in Artificial IntelligenceExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence)Author data: Open Library