A performant executable rewrite logic engine used frquently in the FSL group. See Maude's external webpage at: