Claude Kirchner Patrick Viry Implementing Parallel Rewriting. 123-138 1990 conf/dagstuhl/1990pis Dagstuhl Seminar on Parallelization in Inference Systems db/conf/dagstuhl/pis1990.html#KirchnerV90