@article{KYB_1974_10_2_a1,
     author = {Havr\'anek, Tom\'a\v{s}},
     title = {The computation of characteristic vectors of logical-probabilistic expressions},
     journal = {Kybernetika},
     pages = {80--94},
     year = {1974},
     volume = {10},
     number = {2},
     mrnumber = {0347493},
     zbl = {0281.02018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1974_10_2_a1/}
}