Approximating cost-based abduction is NP-hard
scientific article; zbMATH DE number 5003982