COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / - Martin-Löf, Per,; Mint͡s, G. E. (Springer-Verlag,, 1990)