Alan F. McMichael. Mechanization of Analytic Reasoning About Sets. In AAAI. pages 427-433, 1991.
@inproceedings{McMichael91,
title = {Mechanization of Analytic Reasoning About Sets},
author = {Alan F. McMichael},
year = {1991},
researchr = {https://researchr.org/publication/McMichael91},
cites = {0},
citedby = {0},
pages = {427-433},
booktitle = {AAAI},
}