Automated Reasoning about Elementary Point-Set Topology. - Cynthia A. Wick; William McCune (J. Autom. Reason., 1989)