Orthogonality spaces and atomistic orthocomplemented lattices Jarmila Hedlíková; Sylvia Pulmannová — 1991 Czechoslovak Mathematical Journal
Lattice betweenness relation and a generalization of König's lemma Jarmila Hedlíková; Tibor Katriňák — 1996 Mathematica Slovaca