Stem char$ (all stems)
2 papers:
- SIGIR-2014-GuptaBV #automation #named
- CharBoxes: a system for automatic discovery of character infoboxes from books (MG, PB, VV), pp. 1255–1256.
- CADE-1997-Wen-Tsun #automation #reasoning
- The Char-Set Method and Its Applications to Automated Reasoning (WWT), pp. 1–3.