mathsf Harvey : A System for Random Testing in ASP. - Alexander Greßler; Johannes Oetsch; Hans Tompits (LPNMR, 2017)

Evaluating SETAFs via Answer-Set Programming - Wolfgang Dvorák; Alexander Greßler; Stefan Woltran (SAFA@COMMA, 2018)

The complexity landscape of claim-augmented argumentation frameworks. - Wolfgang Dvorák; Alexander Greßler; Anna Rapberger; Stefan Woltran (Artif. Intell., 2023)

The GSAF Solver and Verifier. - Alexander Greßler; Wolfgang Dvorák; Stefan Woltran (COMMA, 2024)

Equipping Abstract Argumentation Solvers for Verifying Negative Results. - Wolfgang Dvorák; Alexander Greßler; Stefan Woltran (SAC, 2024)