Citing Prover9 and Mace4

Please use something like this: Bibtex item:
@unpublished{ prover9-mace4,
    author = "W. McCune",
    title = "Prover9 and Mace4",
    note = "\verb|http://www.cs.unm.edu/~mccune/prover9/|",
    year = "2005--2010"}