@article{AUCMP_1990__31_1_a3,
     author = {Binder, Ji\v{r}{\'\i} and Pt\'ak, Pavel},
     title = {A representation of orthomodular lattices},
     journal = {Acta Universitatis Carolinae. Mathematica et Physica},
     pages = {21--26},
     publisher = {mathdoc},
     volume = {31},
     number = {1},
     year = {1990},
     mrnumber = {1098124},
     zbl = {0778.06010},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/AUCMP_1990__31_1_a3/}
}