@INPROCEEDINGS{NavaraAtlanta97,
  MYNOTE =   { S1997, A1997, P1997 },
  AUTHOR =   {Navara, Mirko},
  EDITOR =   {R.J.~Greechie},
  TITLE =   {How the state spaces of quantum logics can be
                  described},
  BOOKTITLE =   {Abstr. IQSA's Conf. ``Atlanta'97''},
  PUBLISHER =   {Georgia Institute of Technology},
  ADDRESS =   {Atlanta, Georgia },
  YEAR =   {1997},
  MONTH =   {October},
  PAGES =   {5--6},
}