Automated reasoning about elementary point-set topology (1989)

by C A Wick, W W McCune
Venue:J. Autom. Reasoning