TY  - JOUR
AU  - Cvetković, Dragoš
AU  - Pevac, Irena
TI  - Some heuristics in automatic theorem proving.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1984
SP  - 167
VL  - 35(49)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_117933/
LA  - en
ID  - PIM2_1984__35(49)_117933
ER  -