@book{21829,
	author = {International Workshop CTRS and Remy, J. L.},
	title = {Conditional term rewriting systems :},
	publisher = {Springer-Verlag,},
	year = {1993},
	address = {Berlin :}
}