CONTEXTUAL REWRITING IN AUTOMATED REASONING
Hantao Zhang · Fundamenta Informaticae · 1995
Contextual rewriting as a generalization of conditional rewriting has been found in different forms in the papers whose major subject is not contextual rewriting. Here, we put the scattered information together and give it a systematic study. Among v