Barros J B, Goguen J.? 1995.??Semantics of Non-terminating Rewrite Systems using Minimal Coverings.