On Formal Feature Attribution and Its Approximation - Yu, Jinqiang; Stuckey, Peter J.; Ignatiev, Alexey ([Verlag nicht ermittelbar], 2023)