@incollection{Cerutti:2018a,
	Author = {Federico Cerutti and Sarah A. Gaggl and Matthias Thimm and Johannes P. Wallner},
	Booktitle = {Handbook of Formal Argumentation},
	Chapter = {15},
	Editor = {Pietro Baroni and Dov Gabbay and Massimiliano Giacomin and Leendert van der Torre},
	Month = {February},
	Publisher = {College Publications},
	Title = {Foundations of Implementations for Formal Argumentation},
	Year = {2018},
	Note = {also appears in IfCoLog Journal of Logics and their Applications 4(8):2623--2706}
}