@article{CMUC_1972_13_3_a5,
     author = {\v{C}ul{\'\i}k, Karel},
     title = {Algorithmization of algebras and relational structures},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {457--477},
     year = {1972},
     volume = {13},
     number = {3},
     mrnumber = {0317574},
     zbl = {0257.02023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1972_13_3_a5/}
}