Hélène Kirchner Miki Hermann Meta-rule Synthesis from Crossed Rewrite Systems. 143-154 1990 conf/ctrs/1990 CTRS db/conf/ctrs/ctrs90.html#KirchnerH90