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.










