TPTP and Beyond: Representation of Quantified Non-Classical Logics.

Max Wisniewski, Alexander Steen, Christoph Benzmller

Browse the full CADE paper archive.