Semantics of Non-terminating Rewrite Systems Using Minimal Coverings.

Jos Barros, Joseph A. Goguen

Browse the full CSL paper archive.