On the well-foundedness of adequate orders used for construction of complete unfolding prefixes.

Thomas Chatain Victor Khomenko On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. 129-136 2007 104 Inf. Process. Lett. 4 http://dx.doi.org/10.1016/j.ipl.2007.06.002 db/journals/ipl/ipl104.html#ChatainK07