COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings - Martin-Lof, Per , 1942-; Mints, G. E. (Springer-Verlag, 1990)