TY - JOUR AU - Hájek, Petr TI - Automatic listing of important observational statements. II JO - Kybernetika PY - 1973 SP - 251 EP - 271 VL - 9 IS - 4 UR - http://geodesic.mathdoc.fr/item/KYB_1973_9_4_a3/ LA - en ID - KYB_1973_9_4_a3 ER -