TPTP Reference: WM89

@Article{WM89,
    Author       = "Wick, C. and McCune, W.W.",
    Year         = "1989",
    Title        = "{Automated Reasoning about Elementary Point-Set Topology}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "5",
    Pages        = "239 - 255",
    Comment      = "TPTPRef"
}