A linear constraint satisfaction approach to cost-based abduction
scientific article; zbMATH DE number 500714