Decidability of the theory of the totally unbounded ω-layered structure

Montanari, A.

Puppis, G.