@INPROCEEDINGS{NavaraPtakWorkshop96,
  MYNOTE =   { S1995, A1995, P1996 },
  AUTHOR =   {Navara, Mirko and Pt{\'a}k, Pavel},
  TITLE =   {Coming from distributive to orthomodular},
  BOOKTITLE =   {Proc. Workshop~96},
  PUBLISHER =   {CTU},
  ADDRESS =   {Praha, Czech Republic},
  YEAR =   {1996},
  PAGES =   {45--46},
  venue =   {Praha, Czech Republic},
}