TY - JOUR AU - Novák, Vilém TI - An algorithm for reduction of complexity of relations in a system of variables JO - Applications of Mathematics PY - 1977 SP - 418 EP - 424 VL - 22 IS - 6 PB - mathdoc UR - https://geodesic-test.mathdoc.fr/articles/10.21136/AM.1977.103718/ DO - 10.21136/AM.1977.103718 LA - en ID - 10_21136_AM_1977_103718 ER -