DMCA

Termination of Term Rewriting By Semantic Labelling (1995)

by H. Zantema
Venue:FUNDAMENTA INFORMATICAE
Citations:105 - 20 self