@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}, publisher = {mathdoc}, volume = {280}, number = {3}, year = {1985}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1985_280_3_a20/} }