Equational theory of positive numbers with exponentiation (1985)

by R Gurevi˘c
Venue:Proc. Amer. Math. Soc