No authors of 1003.4803 can endorse.
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
BenoƮt Boyer and Thomas Genet are not registered as owners of this paper. (why?)
BenoƮt Boyer and Thomas Genet are not registered as owners of this paper. (why?)