Feuillade2004a

Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong. Reachability Analysis over Term Rewriting Systems. Journal of Automated Reasoning, 2004.

BibTex Reference

@article{Feuillade2004a,
   Author = {Feuillade, Guillaume and Genet, Thomas and Viet Triem Tong, Valérie},
   Title = {Reachability Analysis over Term Rewriting Systems},
   Journal = {Journal of Automated Reasoning},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)