The calculus of algebraic constructions (1999)

by F Blanqui, J P Jouannaud, M Okada
Venue:In Rewriting Techniques and Applications