Deduction systems in artificial intelligence / Ed.: K. H. Blasius, H. J. Burckert, 1989. - 238 p. - Текст : непосредственный.
Sorts and types in artificial intelligence : Proc. of the workshop, Eringerfeld, Apr. 24-26, 1989 / Ed. K. H. Blasius, 1990. - 307 p. - Текст : непосредственный.