A λ-unifiability test for set theory (1988)

by Sidney C Bailin
Venue:Journal of Automated Reasoning