Tatyana M. Yakhno G. B. Cheblakov V. Z. Zilberfain FISSURE: FInder of Solutions with SUbdefinite REsources. 167-185 1995 conf/cdb/1995 CDB db/conf/cdb/cdb95.html#YakhnoCZ95