Predictive Labeling

Lecture Notes in Computer Science - Term Rewriting and Applications ◽

10.1007/11805618_24 ◽

2006 ◽

pp. 313-327 ◽

Cited By ~ 3

Author(s):

Nao Hirokawa ◽

Aart Middeldorp

Download Full-text