net.sf.tweety.arg.simplelogicdeductive.test
Classes
SimplePlLogicTest