Towards automated first-order abduction: the cut-based approach
scientific article; zbMATH DE number 6078505