TY  - RPRT
TI  - Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
AU  - Benoît Boyer
AU  - Thomas Genet
PY  - 2010
DO  - 10.4204/eptcs.21.9
UR  - https://arxiv.org/abs/1003.4803
ID  - 1003.4803
ER  -