@article{10_21136_AM_1977_103718,
     author = {Nov\'ak, Vil\'em},
     title = {An algorithm for reduction of complexity of relations in a system of variables},
     journal = {Applications of Mathematics},
     pages = {418--424},
     publisher = {mathdoc},
     volume = {22},
     number = {6},
     year = {1977},
     doi = {10.21136/AM.1977.103718},
     zbl = {0391.68023},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/articles/10.21136/AM.1977.103718/}
}