Proceedings second international workshop on conditional and typed rewriting systems, Montreal, juin 1990SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10484 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc