Automated Reasoning about Elementary Point-Set Topology

Cynthia A. Wick, William McCune. Automated Reasoning about Elementary Point-Set Topology. Journal of Automated Reasoning, 5(2):239-255, 1989.

Abstract

Abstract is missing.