Stem nonredund$ (all stems)
2 papers:
- SAC-2012-BelohlavekV #database #semantics #similarity
- Attribute implications in similarity-based databases: semantic entailment and nonredundant bases (RB, VV), pp. 840–846.
- CADE-1980-CoxP #algorithm
- A Complete, Nonredundant Algorithm for Reversed Skolemization (PTC, TP), pp. 374–385.