Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties. Ursu, V.I. — 2000 Siberian Mathematical Journal