Conference on Computer Logic 1988: Tallinn, USSR