ADF - BDD : An ADF Solver Based on Binary Decision Diagrams. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, and Hiroyuki Kido (Eds.), Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), (220146):355–356, IOS Press, Amsterdam u. a., Netherlands, Sep 1, 2022. [PUMA: topic_knowledge FIS_scads abstract binary decision diagrams, dialectical frameworks, rust-lang]