An ASP-based solver for parametrized-difference revision
parametrized-difference (PD) revision solver
scientific article; zbMATH DE number 7582720