Tag elimination and jonesoptimality (0)

by Walid Taha, Henning Makholm, John Hughes
Venue:Lecture Notes in Computer Science