This class contains common characteristics for deductive argumentation reasoner.
This class implements the approach of knowledge base compilation as proposed in
Philippe Besnard and Anthony Hunter.
Instances of this class represent deductive knowledge bases, i.e.
This class implements a brute force approach to deductive argumentation.