category: computer logic

... Rp Output : refined argument filter л ' and modified TRS Rp such that л ' ( Rp ) ... t1 \ { i } | s → t = Rp ( p ) } . If this introduces new labeled function ... rules of Rp . But in addition , Rp contains labeled copies of the rules ...