The theory of ground rewrite systems is decidable | IEEE Conference Publication | IEEE Xplore