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"
}