7 citations · 7 across the 1 of their papers we have counts for
1 paper
Alberto Verdejo, Narciso Martí-Oliet
The two levels of data and actions on those data provided by the separation between equations and rules in rewriting logic are completed by a third level of strategies to control t…