Termination of Term Rewriting By Semantic Labelling (1995)

Cached

Download Links

by H. Zantema
Venue:FUNDAMENTA INFORMATICAE
Citations:86 - 14 self