Downward translations of equality (1990)

by E Allender, C Wilson
Venue:Theoretical Computer Science