Tractable depth-bounded approximations to FDE and its satellites. - Marcello D'Agostino; Alejandro Solares-Rojas (J. Log. Comput., 2024)