TPTP Reference: DIM

TPTP Reference: `DIM`

@Unpublished{DIM,
    Author       = "DIMACS",
    Title        = "{Satisfiability Suggested Format}",
    Note         = "ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/doc/satformat.tex",
    Comment      = ""
}