1
TITLE: Global Trie for Subterms PDF
AUTHORS: João Raimundo; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3780
INDEXED IN: DBLP arXiv