AbaElement<T extends Formula> 
Abstract class that models common properties of aba syntax elements.

AbaRule<T extends Formula> 
A common interface for assumptions and inference rules.

AbaTheory<T extends Formula> 
An implementation of Assumption Based Argumentation.

Assumption<T extends Formula> 
This class models an assumption of an ABA theory.

Deduction<T extends Formula> 
An argument derived from an ABA theory.

InferenceRule<T extends Formula> 
This class models an inference rule from an ABA theory.

Negation<T extends Formula> 
