@Article{Bru91,
    Author       = "Brushi, M.",
    Year         = "1991",
    Title        = "{The Halting Problem}",
    Journal      = "AAR Newsletter",
    Volume       = "17",
    Pages        = "7-12",
    Comment      = "TPTPRef"
}