François Bronsard Uday S. Francois Conditional Rewriting in Focus. 2-13 1990 conf/ctrs/1990 CTRS db/conf/ctrs/ctrs90.html#BronsardF90