@article{10_21136_MB_2007_133966,
     author = {Hala\v{s}, Radom{\'\i}r and Plojhar, Lubo\v{s}},
     title = {On systems of congruences on principal filters of orthomodular implication algebras},
     journal = {Mathematica Bohemica},
     pages = {423--435},
     publisher = {mathdoc},
     volume = {132},
     number = {4},
     year = {2007},
     doi = {10.21136/MB.2007.133966},
     mrnumber = {2365325},
     zbl = {1174.03030},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2007.133966/}
}