\begin{thebibliography}{10}
\providecommand{\bibitemdeclare}[2]{}
\providecommand{\surnamestart}{}
\providecommand{\surnameend}{}
\providecommand{\urlprefix}{Available at }
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\href}[2]{\texttt{#2}}
\providecommand{\urlalt}[2]{\href{#1}{#2}}
\providecommand{\doi}[1]{doi:\urlalt{https://doi.org/#1}{#1}}
\providecommand{\eprint}[1]{arXiv:\urlalt{https://arxiv.org/abs/#1}{#1}}
\providecommand{\bibinfo}[2]{#2}

\bibitemdeclare{article}{amgoud2014postulates}
\bibitem{amgoud2014postulates}
\bibinfo{author}{Leila \surnamestart Amgoud\surnameend} (\bibinfo{year}{2014}):
  \emph{\bibinfo{title}{Postulates for logic-based argumentation systems}}.
\newblock {\slshape \bibinfo{journal}{International Journal of Approximate
  Reasoning}} \bibinfo{volume}{55}(\bibinfo{number}{9}), pp.
  \bibinfo{pages}{2028--2048}, \doi{10.1016/j.ijar.2013.10.004}.

\bibitemdeclare{article}{baroni2011introduction}
\bibitem{baroni2011introduction}
\bibinfo{author}{Pietro \surnamestart Baroni\surnameend},
  \bibinfo{author}{Martin \surnamestart Caminada\surnameend} \&
  \bibinfo{author}{Massimiliano \surnamestart Giacomin\surnameend}
  (\bibinfo{year}{2011}): \emph{\bibinfo{title}{An introduction to
  argumentation semantics}}.
\newblock {\slshape \bibinfo{journal}{The knowledge engineering review}}
  \bibinfo{volume}{26}(\bibinfo{number}{4}), pp. \bibinfo{pages}{365--410},
  \doi{10.1017/S0269888911000166}.

\bibitemdeclare{incollection}{BrassZF96}
\bibitem{BrassZF96}
\bibinfo{author}{Stefan \surnamestart Brass\surnameend},
  \bibinfo{author}{Ulrich \surnamestart Zukowski\surnameend} \&
  \bibinfo{author}{Burkhard \surnamestart Freitag\surnameend}
  (\bibinfo{year}{1997}): \emph{\bibinfo{title}{Transformation-based bottom-up
  computation of the well-founded model}}.
\newblock In: {\slshape \bibinfo{booktitle}{Non-Monotonic Extensions of Logic
  Programming}}, \bibinfo{publisher}{Springer}, pp. \bibinfo{pages}{171--201},
  \doi{10.1007/BFb0023807}.

\bibitemdeclare{article}{caminada2007evaluation}
\bibitem{caminada2007evaluation}
\bibinfo{author}{Martin \surnamestart Caminada\surnameend} \&
  \bibinfo{author}{Leila \surnamestart Amgoud\surnameend}
  (\bibinfo{year}{2007}): \emph{\bibinfo{title}{On the evaluation of
  argumentation formalisms}}.
\newblock {\slshape \bibinfo{journal}{Artificial Intelligence}}
  \bibinfo{volume}{171}(\bibinfo{number}{5-6}), pp. \bibinfo{pages}{286--310},
  \doi{10.1016/j.artint.2007.02.003}.

\bibitemdeclare{article}{Dix95}
\bibitem{Dix95}
\bibinfo{author}{J{\"u}rgen \surnamestart Dix\surnameend}
  (\bibinfo{year}{1995}): \emph{\bibinfo{title}{A Classification Theory of
  Semantics of Normal Logic Programs: I. Strong Properties.}}
\newblock {\slshape \bibinfo{journal}{Fundam. Inform.}}
  \bibinfo{volume}{22}(\bibinfo{number}{3}), pp. \bibinfo{pages}{227--255},
  \doi{10.3233/FI-1995-2234}.

\bibitemdeclare{article}{dix2001general}
\bibitem{dix2001general}
\bibinfo{author}{J{\"u}rgen \surnamestart Dix\surnameend},
  \bibinfo{author}{Mauricio \surnamestart Osorio\surnameend} \&
  \bibinfo{author}{Claudia \surnamestart Zepeda\surnameend}
  (\bibinfo{year}{2001}): \emph{\bibinfo{title}{A general theory of confluent
  rewriting systems for logic programming and its applications}}.
\newblock {\slshape \bibinfo{journal}{Annals of Pure and Applied Logic}}
  \bibinfo{volume}{108}(\bibinfo{number}{1-3}), pp. \bibinfo{pages}{153--188},
  \doi{10.1016/S0168-0072(00)00044-0}.

\bibitemdeclare{article}{Dung1995}
\bibitem{Dung1995}
\bibinfo{author}{Phan~Minh \surnamestart Dung\surnameend}
  (\bibinfo{year}{1995}): \emph{\bibinfo{title}{On the Acceptability of
  Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic
  Programming and n-Person Games}}.
\newblock {\slshape \bibinfo{journal}{Artificial Intelligence}}
  \bibinfo{volume}{77}(\bibinfo{number}{2}), pp. \bibinfo{pages}{321--358},
  \doi{10.1016/0004-3702(94)00041-X}.

\bibitemdeclare{incollection}{DungKT09}
\bibitem{DungKT09}
\bibinfo{author}{Phan~Minh \surnamestart Dung\surnameend},
  \bibinfo{author}{Robert~A. \surnamestart Kowalski\surnameend} \&
  \bibinfo{author}{Francesca \surnamestart Toni\surnameend}
  (\bibinfo{year}{2009}): \emph{\bibinfo{title}{Assumption-Based
  Argumentation}}.
\newblock In: {\slshape \bibinfo{booktitle}{Argumentation in Artificial
  Intelligence}}, \bibinfo{publisher}{Springer}, pp. \bibinfo{pages}{199--218},
  \doi{10.1007/978-0-387-98197-0\_10}.

\bibitemdeclare{article}{nieves2016ideal}
\bibitem{nieves2016ideal}
\bibinfo{author}{Juan~Carlos \surnamestart Nieves\surnameend} \&
  \bibinfo{author}{Mauricio \surnamestart Osorio\surnameend}
  (\bibinfo{year}{2016}): \emph{\bibinfo{title}{Ideal extensions as logical
  programming models}}.
\newblock {\slshape \bibinfo{journal}{Journal of Logic and Computation}}
  \bibinfo{volume}{26}(\bibinfo{number}{5}), pp. \bibinfo{pages}{1361--1393},
  \doi{10.1093/logcom/exu014}.

\bibitemdeclare{article}{prakken2010abstract}
\bibitem{prakken2010abstract}
\bibinfo{author}{Henry \surnamestart Prakken\surnameend}
  (\bibinfo{year}{2010}): \emph{\bibinfo{title}{An abstract framework for
  argumentation with structured arguments}}.
\newblock {\slshape \bibinfo{journal}{Argument and Computation}}
  \bibinfo{volume}{1}(\bibinfo{number}{2}), pp. \bibinfo{pages}{93--124},
  \doi{10.1080/19462160903564592}.

\end{thebibliography}
