Bo Yi Jiafu Xu Analogical Type Theory. 3-24 1995 19 J. Symb. Comput. 1-3 db/journals/jsc/jsc19.html#YiX95