%0 Journal Article %A Hájek, Petr %T Automatic listing of important observational statements. I %J Kybernetika %D 1973 %P 187-205 %V 9 %N 3 %U http://geodesic.mathdoc.fr/item/KYB_1973_9_3_a3/ %G en %F KYB_1973_9_3_a3