@article{1093887530,
author = {Beran, Ladislav},
title = {Three identities for ortholattices.},
journal = {Notre Dame J. Formal Logic},
volume = {17},
number = {1},
year = {1976},
pages = { 251-252},
language = {en},
url = {http://dml.mathdoc.fr/item/1093887530}
}
Beran, Ladislav. Three identities for ortholattices.. Notre Dame J. Formal Logic, Tome 17 (1976) no. 1, pp. 251-252. http://gdmltest.u-ga.fr/item/1093887530/