net.sf.tweety.logics.fol.writer
Interfaces
FolWriter
Classes
Prover9Writer
TptpWriter