Uses of Interface
net.sf.tweety.arg.dung.util.DungTheoryGenerator