TPTP Reference: Pra93

TPTP Reference: `Pra93`

@Unpublished{Pra93-Email,
    Author       = "Prasetya, W.",
    Year         = "1993",
    Title        = "{How to get FAUST?}",
    Series       = "HOL mailing list",
    Number       = "http://lal.cs.byu.edu/lal/holdoc/info-hol/15xx/1515.html",
    Comment      = "TPTPRef"
}