Caroline Nan Koff

• A specialized ATMS for equivalence relations