Adriana Galli Renato A. Lewin Marta Sagastume The logic of equilibrium and abelian lattice ordered groups. 141-158 2004 43 Arch. Math. Log. 2 http://dx.doi.org/10.1007/s00153-002-0160-0 db/journals/aml/aml43.html#GalliLS04