CompleteReasoner<T extends Formula> 
This reasoner for ABA theories performs inference on the complete extensions.

FlatAbaReasoner<T extends Formula> 
This class models a reasoner over ABA formulae.

GeneralAbaReasoner<T extends Formula> 
This is an abstract generalization over nonflat ABA reasoners.

IdealReasoner<T extends Formula> 
This reasoner for ABA theories performs inference on the ideal extension.

PreferredReasoner<T extends Formula> 
This reasoner for ABA theories performs inference on the preferred extensions.

StableReasoner<T extends Formula> 
This reasoner for ABA theories performs inference on the stable extensions.

WellFoundedReasoner<T extends Formula> 
This reasoner for ABA theories performs inference on the ideal extension.
