@MISC{ROBBINS4.MIZ,
  AUTHOR = {M\c{a}dra, El\.zbieta and Grabowski, Adam},
  TITLE = {Orthomodular Lattices},
  SECTION1 = {Preliminaries},
  SECTION2 = {Orthomodularity},
  SECTION3 = {Examples: The Benzene Ring},
  SECTION4 = {Orthogonality},
  SECTION5 = {Orthomodularity Conditions},
  DAY = {27},
  MONTH = {June},
  YEAR = {2008},
  ADDRESS1 = {Institute of Mathematics\\University of Bia{\l}ystok\\Akademicka 2, 15-267 Bia{\l}ystok\\Poland},
  ADDRESS2 = {Institute of Mathematics\\University of Bia{\l}ystok\\Akademicka 2, 15-267 Bia{\l}ystok\\Poland},
  SUMMARY = {The main result of the article is the solution to the problem
    of short axiomatizations of orthomodular ortholattices.
   Based on EQP/Otter results \cite{McCune:2005},
   we gave a set of three equations
   which is equivalent to the classical, much longer equational
   basis of such a class.
   Also the basic example of the lattice which is not orthomodular,
   i.e. benzene (or $B_6$) is defined in two settings -- as a relational
   structure (poset) and as a lattice. \par
   As a preliminary work, we presented the proofs of the dependence
   of other axiomatizations of ortholattices. The formalization of
   the properties
   of orthomodular lattices followed \cite{Beran:1984}.}}

@BOOK{Beran:1984,
      AUTHOR = {Beran, Ladislav},
       TITLE = {Orthomodular Lattices. {A}lgebraic Approach},
   PUBLISHER = {Academiai Kiado},
        YEAR = {1984}}
