Frank M. Brown: Towards the Automation of Set Theory and its Logic. Artif. Intell. 10(3): 281-316 (1978)