TPTP Reference: Ver94

@Article{Ver94,
    Author       = "Veroff, R.",
    Year         = "1994",
    Title        = "{Problem Set}",
    Journal      = "AAR Newsletter",
    Volume       = "24",
    Pages        = "8",
    Comment      = "TPTPRef"
}