Natural Rewriting for General Term Rewriting Systems.

Santiago Escobar, Jos Meseguer, Prasanna Thati

Browse the full LOPSTR paper archive.