TPTP Reference: deN-Bliksem-URL

TPTP Reference: `deN-Bliksem-URL`

@Unpublished{deN-Bliksem-URL,
    Author       = "de Nivelle, H.",
    Year         = "",
    Title        = "{Bliksem Resolution Prover}",
    Note         = "{http://www.ii.uni.wroc.pl/~nivelle/software/bliksem}",
    Comment      = "TPTPRef"
}