Automatic theorem Proving in Set theory (1978)

by D Pastre
Venue:Journal of Artificial Intelligence