On the Use of Conditional Rewrite Rules in Inductive Theorem Proving.

Laurent Fribourg On the Use of Conditional Rewrite Rules in Inductive Theorem Proving. 56-61 1987 conf/ctrs/1987 CTRS db/conf/ctrs/ctrs87.html#Fribourg87