Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula

No usage of net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula