Relating Carneades with Abstract Argumentation. - Bas van Gijzel; Henry Prakken (IJCAI, 2011)

Haskell Gets Argumentative. - Bas van Gijzel; Henrik Nilsson (Trends in Functional Programming, 2012)

Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation. - Bas van Gijzel; Henry Prakken (Argument Comput., 2012)

Tools for the implementation of argumentation models. - Bas van Gijzel (ICCSW, 2013)

Towards a framework for the implementation and verification of translations between argumentation models. - Bas van Gijzel; Henrik Nilsson (IFL, 2013)

A principled approach to the implementation of argumentation models. - Bas van Gijzel; Henrik Nilsson (COMMA, 2014)

A framework for relating, implementing and verifying argumentation models and their translations. - Bas van Gijzel (2016)