Biedermann, K.. "An equational theory for trilattices.." Algebra Universalis 42 (1999): 253-268.