Towards the Automation of Set Theory and Its Logic (1978)

by F M Brown
Venue:Artificial Intelligence Journal