@Article{Hua96,
    Author       = "Huang G.",
    Year         = "1996",
    Title        = "{Using OTTER and Prolog to Solve TopSpin}",
    Journal      = "AAR Newsletter",
    Volume       = "33",
    Pages        = "3-4",
    Comment      = "TPTPRef"
}