Finitely Presented Abelian Lattice-Ordered Groups.

Published in: Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)