The Structure of Commutative Residuated Lattices. - James B. Hart; Lori Rafter; Constantine Tsinakis (Int. J. Algebra Comput., 2002)

A concrete realization of the Hoare powerdomain. - James B. Hart; Constantine Tsinakis (Soft Comput., 2007)

Ordinal decompositions for preordered root systems. - James B. Hart; Constantine Tsinakis (Ann. Pure Appl. Log., 2009)