Author: Vsesoi͡uznai͡a konferent͡sii͡a "Metody matematicheskoĭ logiki v problemakh iskusstvennogo intellekta i sistematicheskoe programmirovanie" (1980 Palanga, Lithuania)