N.: Comparing computational power (0)

by U Boker, Dershowitz
Venue:Logic Journal of the IGPL