An encoding of abstract dialectical frameworks into higher-order logic. - Antoine Martina; Alexander Steen (J. Log. Comput., 2025)