A note on the well-foundedness of adequate orders used for truncating unfoldings /
Chatain, Thomas,author.
Khomenko, Victor.
University of Newcastle upon Tyne.School of Computing Science.
Title from cover.
Includes bibliographical references.