net.sf.tweety.logics.ml.writer
Classes
MleanCoPWriter
ModalWriter
SPASSWriter