Author: Russian Conference on Logic Programming (1st 1990 Irkutsk, R.S.F.S.R.)