Relative normalization. Manuscript, available from the web pages of the authors (2006)

by G Dowek, A Miquel