Higher-order algebra, logic, and term rewriting: Lecture notes incomputer science : Papers - Dowek G. (et-al)(eds) (Springer: Tokyo, 1995)
Keywords: computer science : algebra