Report - Term rewriting restrictedto groundterms · 2016. 12. 9. · In Section 3 we show the following. Let Rbe a term rewrite system and S be a groundterm rewrite system over . Then it is

Please pass captcha verification before submit form