@article{KYB_1973__9_4_a3,
     author = {H\'ajek, Petr},
     title = {Automatic listing of important observational statements. {II}},
     journal = {Kybernetika},
     pages = {--271},
     publisher = {mathdoc},
     volume = {09},
     number = {4},
     year = {1973},
     mrnumber = {0401461},
     zbl = {0289.68046},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1973__9_4_a3/}
}