@article{DAN_1985_280_3_a20, author = {A. D. Okhotsimskii and L. P. Filippov}, title = {The methods of computer-aided search for structural formulas}, journal = {Doklady Akademii Nauk}, pages = {598--601}, year = {1985}, volume = {280}, number = {3}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1985_280_3_a20/} }