@article{PIM2_1984__35(49)_117933,
     author = {Cvetkovi\'c, Drago\v{s} and Pevac, Irena},
     title = {Some heuristics in automatic theorem proving.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {167},
     publisher = {mathdoc},
     volume = {35(49)},
     year = {1984},
     zbl = {0585.68080},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_117933/}
}