Computing answers with model elimination
scientific article; zbMATH DE number 1972334
scientific article