暂无分享，去创建一个
Sabrina Kruger
[1] Gilles Dowek,et al. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers , 1996 .