at.logic.gapt.formats
This object contains several classes responsible for the parsing of the CERES XML format, according to the proofdatabase.dtd version 5.0.