net.sf.tweety.arg.aspic.ruleformulagenerator
Classes
FolFormulaGenerator
PlFormulaGenerator
RuleFormulaGenerator